From f1a0dff9e6cecf1e4e00fb6fc5e8816b88dbcb64 Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han
Date: Thu, 24 Sep 2015 11:40:08 +0800
Subject: Fixed user might not disconnect from server properly, handle more
 uncaught exceptions

---
 lib/ot/editor-socketio-server.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/ot/editor-socketio-server.js')

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);
             }
         });
     });
-- 
cgit v1.2.3