search

HEADS-project / heads_ide

http://heads-project.eu
9 stars 2 forks source link

Execution of JavaScript code can't be stopped by CTRL+C #49

Closed vladimirc closed 9 years ago

vladimirc commented 9 years ago

c and Java execution can be stopped by using CTRL+C. This is not a case with JavaScript code. However, CTRL+D stops the execution for JavaScript.

maxleiko commented 9 years ago

Same as https://github.com/HEADS-project/heads_ide/issues/11