From 16d5e3ea8020c839dd6e2dd192e8ccba71f39eed Mon Sep 17 00:00:00 2001
From: Cheng-Han, Wu
Date: Wed, 1 Jun 2016 14:18:54 +0800
Subject: Add maintenance mode and update to gracefully exit process on signal

---
 public/js/index.js | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'public')

diff --git a/public/js/index.js b/public/js/index.js
index 1d6db920..4ac1b508 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -1825,6 +1825,11 @@ socket.on('error', function (data) {
     if (data.message && data.message.indexOf('AUTH failed') === 0)
         location.href = "./403";
 });
+var retryOnDisconnect = false;
+socket.on('maintenance', function (data) {
+    if (data == version)
+        retryOnDisconnect = true;
+});
 socket.on('disconnect', function (data) {
     showStatus(statusType.offline);
     if (loaded) {
@@ -1833,12 +1838,15 @@ socket.on('disconnect', function (data) {
     }
     if (!editor.getOption('readOnly'))
         editor.setOption('readOnly', true);
+    if (retryOnDisconnect)
+        socket.connect();
 });
 socket.on('reconnect', function (data) {
     //sync back any change in offline
     emitUserStatus(true);
     cursorActivity();
     socket.emit('online users');
+    retryOnDisconnect = false;
 });
 socket.on('connect', function (data) {
     personalInfo['id'] = socket.id;
-- 
cgit v1.2.3