From 37c208af7c7c51b361807cfcdb77df81a024c591 Mon Sep 17 00:00:00 2001
From: Tobias Hopp <tobi@gaminggeneration.de>
Date: Mon, 13 Feb 2023 12:00:25 +0100
Subject: [PATCH] Update

Took 2 minutes
---
 src/web/Settings.ts            |  3 +++
 src/web/WebWebSocketHandler.ts | 13 +++++++++----
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/src/web/Settings.ts b/src/web/Settings.ts
index 31c35cf..b5845b6 100644
--- a/src/web/Settings.ts
+++ b/src/web/Settings.ts
@@ -76,6 +76,8 @@ export class Settings {
         });
     }
 
+    public static inUpdate = false;
+
     private static update() {
         WebWebSocketHandler.request(RequestType.UPDATE, null).then((payload) => {
             let modal = new Modal("info", "System-Update");
@@ -85,6 +87,7 @@ export class Settings {
 Sobald das Update installiert ist, wird das System neu gestartet.<br>Die dadurch hergehende Verbindungswarnung kann ignoriert werden.<br>Der iTender stellt die Verbindung automatisch wieder her.<br><br><span style="color:red;font-weight: bold">Schalten Sie das System nicht aus und entfernen Sie nicht das Netzkabel!</span>`;
                 modal.addContent(txt);
                 modal.loader = true;
+                this.inUpdate = true;
             } else {
                 txt.innerHTML = `Das System kann nicht aktualisiert werden.<br>iTender hat keine Internet-Konnektivität fest gestellt.<br>Versuchen Sie es zu einem späteren Zeitpunkt erneut.`;
                 modal.addButton(ButtonType.SECONDARY, "Schließen", () => modal.close());
diff --git a/src/web/WebWebSocketHandler.ts b/src/web/WebWebSocketHandler.ts
index 40e7987..fdd0698 100644
--- a/src/web/WebWebSocketHandler.ts
+++ b/src/web/WebWebSocketHandler.ts
@@ -8,6 +8,7 @@ import {Setup} from "./Setup";
 import {Pane} from "./Pane";
 import {RequestType} from "../RequestType";
 import {Fill} from "./Fill";
+import {Settings} from "./Settings";
 
 export class WebWebSocketHandler {
     private static socket: WebSocket;
@@ -217,16 +218,20 @@ export class WebWebSocketHandler {
             });
             modal.open();
         } else {
+            setInterval(async () => {
+                if ((await WebWebSocketHandler.checkConnection()))
+                    window.location.reload();
+            }, 2000);
+
+            if (Settings.inUpdate)
+                return;
+
             let modal = new Modal("socketClosed", "Verbindungsproblem!");
             let txt = document.createElement("p");
             txt.innerHTML = `Die Benutzeroberfläche hat die Verbindung mit dem Gerät verloren.<br>Die Verbindung wird wiederhergestellt...<br>`;
             modal.addContent(txt);
             modal.loader = true;
             modal.open();
-            setInterval(async () => {
-                if ((await WebWebSocketHandler.checkConnection()))
-                    window.location.reload();
-            }, 2000);
         }
 
         /* let connectionElement = document.getElementById("right");