Fixed user might not disconnect from server properly, handle more uncaught exceptions

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);
             }
         });
     });