diff options
Diffstat (limited to '')
-rw-r--r-- | public/js/index.js | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/public/js/index.js b/public/js/index.js index 25c84ad9..d342e88a 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -1818,6 +1818,7 @@ socket.on('error', function (data) { location.href = "./403"; }); var retryOnDisconnect = false; +var retryTimer = null; socket.on('maintenance', function (data) { if (data == version) retryOnDisconnect = true; @@ -1830,14 +1831,19 @@ socket.on('disconnect', function (data) { } if (!editor.getOption('readOnly')) editor.setOption('readOnly', true); - if (retryOnDisconnect) - socket.connect(); + if (retryOnDisconnect && !retryTimer) { + retryTimer = setInterval(function () { + socket.connect(); + }, 1000); + } }); socket.on('reconnect', function (data) { //sync back any change in offline emitUserStatus(true); cursorActivity(); socket.emit('online users'); + clearInterval(retryTimer); + retryTimer = null; retryOnDisconnect = false; }); socket.on('connect', function (data) { |