Interrupt/Stop infinite loop in script console

Hi,

Is there a way to interrupt or stop a running script in the script console stuck in an infinite loop?
So far I had to close down the designer to end the loop.
Pythons own interrupt is supposed to be ‘Ctrl + C’, but this doesn’t work.

Thanks

There isn’t to my knowledge, but I hope I’m wrong because that happens and when it does it’s really annoying.