Fix unwanted restarting

[volzhs]

Fix #20294

[volzhs]

@akien-mga @mhilbrunner it's pretty annoying and I think this PR doesn't break anything, so I'll merge it.

[aaronfranke]

I think this is probably a good change but in the future I'd recommend leaving the PR up for comments for awhile before merging it. Perhaps a day.

[volzhs]

yeah. 99% of my PR was left to be merged by @akien-mga or @mhilbrunner or others.

[mhilbrunner]

I think such decisions are always all nuance and there isn't an objective right way.

Generally, waiting for a day or such is of course better, you're right; but its a tradeoff; the simpler the change and the more annoying the quirk it fixes, the more reasonable it is to merge and ask for forgiveness. ;)

In this case it was fine, I think.

[akien-mga]

This was fine merging right away, the fix is obviously correct.