Well, I just made an issue for it: https://github.com/espruino/EspruinoWebIDE/issues/89
It should wait longer - thinking about it, it may just send Ctrl-C regardless which would obviously be a mistake.
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Well, I just made an issue for it: https://github.com/espruino/EspruinoWebIDE/issues/89
It should wait longer - thinking about it, it may just send Ctrl-C regardless which would obviously be a mistake.