Stopping batch generation is completely broken

[trip45234]

If you have a high batch count, and press Ctrl+Enter to stop generation, it does something weird, but it doesn't stop generation.

• start generation (with batch count set to something high enough that it will take a while to finish)
• before it finishes normally, press Ctrl+Enter to stop it early
• it changes the GUI buttons to the idle state
• but it actually keeps generating images
• there's no way to stop it (you can only wait until it finishes the entire batch, or you can kill it)

It works if you press the "interrupt" button on the GUI with the mouse. Obviously I don't want to use the button. If I wanted to practice hitting stuff with the mouse, I'd use comfyui.

This is actually a really old bug that re-appears in various forms. In all of them, the GUI state and the actual state in the server become desynced. The GUI thinks it's not generating anymore, and you can't stop it by sending a stop signal to the server.