Fixes #5459: Update tools even if promises were not repaired

this is not relevant because in the initial promises, success is not persisted, but it is better to have same code in both