From a40bf71fd4e5577cf074b099c4f5da55263c26f4 Mon Sep 17 00:00:00 2001
From: azivner <adam.zivner@gmail.com>
Date: Tue, 14 Aug 2018 11:42:29 +0200
Subject: [PATCH] connection lost error is now logged only to the console, it
 was too annoying while being mostly harmless

---
 src/public/javascripts/services/messaging.js | 18 +-----------------
 1 file changed, 1 insertion(+), 17 deletions(-)

diff --git a/src/public/javascripts/services/messaging.js b/src/public/javascripts/services/messaging.js
index 8177b0d83..db8140c24 100644
--- a/src/public/javascripts/services/messaging.js
+++ b/src/public/javascripts/services/messaging.js
@@ -82,26 +82,10 @@ setTimeout(() => {
 
     lastSyncId = glob.maxSyncIdAtLoad;
     lastPingTs = new Date().getTime();
-    let connectionBrokenNotification = null;
 
     setInterval(async () => {
         if (new Date().getTime() - lastPingTs > 30000) {
-            if (!connectionBrokenNotification) {
-                connectionBrokenNotification = $.notify({
-                    // options
-                    message: "Lost connection to server"
-                },{
-                    // options
-                    type: 'danger',
-                    delay: 100000000 // keep it until we explicitly close it
-                });
-            }
-        }
-        else if (connectionBrokenNotification) {
-            await connectionBrokenNotification.close();
-            connectionBrokenNotification = null;
-
-            infoService.showMessage("Re-connected to server");
+            console.log("Lost connection to server");
         }
 
         ws.send(JSON.stringify({