Update

Took 2 minutes

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());

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");