From 734d475c0e2dc467a657d350d8a37ec8aa800da7 Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han <jacky_cute0808@hotmail.com>
Date: Thu, 3 Nov 2016 14:04:53 +0800
Subject: [PATCH] Fix server reconnect might not resend pending operations

---
 public/js/index.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/public/js/index.js b/public/js/index.js
index 8080b9c..bb2a31f 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -2648,7 +2648,8 @@ socket.on('doc', function (obj) {
     obj = JSON.parse(obj);
     var body = obj.str;
     var bodyMismatch = editor.getValue() !== body;
-    var setDoc = !cmClient || (cmClient && (cmClient.revision === -1 || (cmClient.revision !== obj.revision && Object.keys(cmClient.state).length <= 0))) || obj.force;
+    var havePendingOperation = cmClient && Object.keys(cmClient.state).length > 0;
+    var setDoc = !cmClient || (cmClient && (cmClient.revision === -1 || (cmClient.revision !== obj.revision && !havePendingOperation))) || obj.force;
 
     saveInfo();
     if (setDoc && bodyMismatch) {
@@ -2682,6 +2683,8 @@ socket.on('doc', function (obj) {
         cmClient.setState(new ot.Client.Synchronized());
         cmClient.initializeClientList();
         cmClient.initializeClients(obj.clients);
+    } else if (havePendingOperation) {
+        cmClient.serverReconnect();
     }
 
     if (setDoc && bodyMismatch) {