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

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