diff --git a/app/assets/javascripts/editor/websocket.js.erb b/app/assets/javascripts/editor/websocket.js.erb index baba623d..1d0e2b25 100644 --- a/app/assets/javascripts/editor/websocket.js.erb +++ b/app/assets/javascripts/editor/websocket.js.erb @@ -108,5 +108,5 @@ CommandSocket.prototype.flush = function() { */ CommandSocket.prototype.killWebSocket = function() { this.websocket.flush(); - this.websocket.close(); -}; \ No newline at end of file + this.websocket.close(1000); +};