Sending command 'client_kill' on stop button click now.

Killing a container only if command client_kill was send.
Moved propmpt to prompt.js
This commit is contained in:
Alexander Kastius
2016-09-09 16:41:20 +02:00
parent 2b621e2de6
commit 3fd43fdee2
6 changed files with 61 additions and 70 deletions

View File

@ -39,10 +39,11 @@ CodeOceanEditorWebsocket = {
},
handleExitCommand: function() {
this.killWebsocketAndContainer();
this.killWebsocket();
this.handleQaApiOutput();
this.handleStderrOutputForFlowr();
this.augmentStacktraceInOutput();
this.cleanUpTurtle();
this.cleanUpUI();
}
};