diff options
author | Wu Cheng-Han | 2015-09-24 11:40:08 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2015-09-24 11:40:08 +0800 |
commit | f1a0dff9e6cecf1e4e00fb6fc5e8816b88dbcb64 (patch) | |
tree | 4f1acc0b2e39aeedaf08d0432ca98e9167e3a5ba /lib/ot | |
parent | 43a175e7100589cba393c335b5289b151982350f (diff) |
Fixed user might not disconnect from server properly, handle more uncaught exceptions
Diffstat (limited to 'lib/ot')
-rwxr-xr-x | lib/ot/editor-socketio-server.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ot/editor-socketio-server.js b/lib/ot/editor-socketio-server.js index 67920cbf..1b2529be 100755 --- a/lib/ot/editor-socketio-server.js +++ b/lib/ot/editor-socketio-server.js @@ -51,7 +51,7 @@ EditorSocketIOServer.prototype.addClient = function (socket) { try { self.onOperation(socket, revision, operation, selection); } catch (err) { - socket.disconnect(); + socket.disconnect(true); } }); }); |