From a42845cfc02d6e4d5878e3e089804608fb863ada Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han <jacky_cute0808@hotmail.com>
Date: Sun, 23 Oct 2016 21:43:18 +0800
Subject: [PATCH] Update to retry when anytime the socket io disconnect

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

diff --git a/public/js/index.js b/public/js/index.js
index 47919d3..8080b9c 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -2308,11 +2308,9 @@ socket.on('delete', function () {
         });
     }   
 });
-var retryOnDisconnect = false;
 var retryTimer = null;
 socket.on('maintenance', function () {
     cmClient.revision = -1;
-    retryOnDisconnect = true;
 });
 socket.on('disconnect', function (data) {
     showStatus(statusType.offline);
@@ -2322,7 +2320,7 @@ socket.on('disconnect', function (data) {
     }
     if (!editor.getOption('readOnly'))
         editor.setOption('readOnly', true);
-    if (retryOnDisconnect && !retryTimer) {
+    if (!retryTimer) {
         retryTimer = setInterval(function () {
             if (!needRefresh) socket.connect();
         }, 1000);
@@ -2337,7 +2335,6 @@ socket.on('reconnect', function (data) {
 socket.on('connect', function (data) {
     clearInterval(retryTimer);
     retryTimer = null;
-    retryOnDisconnect = false;
     personalInfo['id'] = socket.id;
     showStatus(statusType.connected);
     socket.emit('version');