htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added handler for exit command.

Browse Source
This commit is contained in:
Alexander Kastius
2016-09-01 17:03:28 +02:00
parent 333a72c996
commit 9ec9f01257
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
app/assets/javascripts/editor/execution.js.erb
View File

@@ -17,11 +17,13 @@ CodeOceanEditorWebsocket = {
initializeSocketForTesting: function(url) { initializeSocketForTesting: function(url) {
this.initializeSocket(url); this.initializeSocket(url);
this.websocket.on('default',this.handleTestResponse.bind(this)); this.websocket.on('default',this.handleTestResponse.bind(this));
this.websocket.on('exit', this.handleExitCommand.bind(this));
}, },
initializeSocketForScoring: function(url) { initializeSocketForScoring: function(url) {
this.initializeSocket(url); this.initializeSocket(url);
this.websocket.on('default',this.handleScoringResponse.bind(this)) this.websocket.on('default',this.handleScoringResponse.bind(this));
this.websocket.on('exit', this.handleExitCommand.bind(this));
}, },
initializeSocketForRunning: function(url) { initializeSocketForRunning: function(url) {