From e19ac8bc42fae3ad77a9c3b4832283c7a22522ed Mon Sep 17 00:00:00 2001
From: David Botton <david@botton.com>
Date: Sun, 11 Feb 2024 21:04:31 -0500
Subject: [PATCH] Retry connections or reconnect failuers

---
 static-files/js/boot.js | 37 +++++++++++++++++++------------------
 1 file changed, 19 insertions(+), 18 deletions(-)

diff --git a/static-files/js/boot.js b/static-files/js/boot.js
index 42cd03e..24b0261 100644
--- a/static-files/js/boot.js
+++ b/static-files/js/boot.js
@@ -2,6 +2,7 @@ var ws=null;
 var adr; var adrc;
 var clog={};
 var pingerid;
+var retryid;
 var s = document.location.search;
 var tokens;
 var r = /[?&]?([^=]+)=([^&]*)/g;
@@ -32,12 +33,15 @@ function Shutdown_ws(event) {
 	ws = null;
     }
     clearInterval (pingerid);
+    clearInterval (retryid);
     if (clog['html_on_close'] != '') {
         $(document.body).html(clog['html_on_close']);
     }
 }
 
 function Setup_ws() {
+    clearInterval (retryid);
+    retryid = 0;
     ws.onmessage = function (event) {
         try {
             if (clog_debug == true) {
@@ -49,36 +53,33 @@ function Setup_ws() {
         }
     }
 
-    ws.onerror = function (event) {
-        console.log ('onerror: reconnect');
-        ws = null;
-        ws = new WebSocket (adr  + '?r=' + clog['connection_id']);
+    var rc = function (event) {
+	console.log (event);
+	ws = null;
+	ws = new WebSocket (adr  + '?r=' + clog['connection_id']);
         ws.onopen = function (event) {
-            console.log ('onerror: reconnect successful');
+            console.log ('reconnect successful');
             Setup_ws();
         }
         ws.onclose = function (event) {
-            console.log ('onerror: reconnect failure');
-            Shutdown_ws(event);
+            console.log ('reconnect failure');
+	    console.log (Date.now());
+	    if (retryid == 0)
+		retryid = setInterval(function () {rc("Failed reconnect - trying again")}, 500);
         }
     }
 
+    ws.onerror = function (event) {
+        console.log ('onerror: reconnect');
+	rc("onerror - trying reconnect")
+    }
+
     ws.onclose = function (event) {
         if (event.code && event.code === 1000) {
             console.log("WebSocket connection got normal close from server. Don't reconnect.");
             Shutdown_ws(event);
         } else {
-            console.log ('onclose: reconnect');
-            ws = null;
-            ws = new WebSocket (adr + '?r=' + clog['connection_id']);
-            ws.onopen = function (event) {
-                console.log ('onclose: reconnect successful');
-                Setup_ws();
-            }
-            ws.onclose = function (event) {
-                console.log ('onclose: reconnect failure');
-                Shutdown_ws(event);
-            }
+	    rc("onclose - trying reconnnect");
         }
     }
 }