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

Cleanly close websocket

Browse Source
This commit is contained in:
Maximilian Grundke
2018-05-16 14:37:13 +02:00
parent a92c13ed71
commit e4525bca36
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -108,5 +108,5 @@ CommandSocket.prototype.flush = function() {
*/ */
CommandSocket.prototype.killWebSocket = function() { CommandSocket.prototype.killWebSocket = function() {
this.websocket.flush(); this.websocket.flush();
this.websocket.close(); this.websocket.close(1000);
}; };