From 7d9b035e570d8f3fb9cf40e34d4442b690463f0f Mon Sep 17 00:00:00 2001 From: Pierre HUBERT Date: Mon, 30 Mar 2020 13:48:40 +0200 Subject: [PATCH] Automatically reload page when WebSocket connection is closed --- assets/js/common/ws.js | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/assets/js/common/ws.js b/assets/js/common/ws.js index 54460f31..92234bbd 100644 --- a/assets/js/common/ws.js +++ b/assets/js/common/ws.js @@ -27,7 +27,7 @@ class UserWebSocket { // Wait for connection this.ws.addEventListener("open", () => console.log("Connected to websocket!")) this.ws.addEventListener("error", (e) => this.Error(e)) - this.ws.addEventListener("close", (e) => this.Error(e)); + this.ws.addEventListener("close", (e) => this.Closed(e)); } catch(e) { this.Error(e); @@ -45,9 +45,14 @@ class UserWebSocket { /** * When we get disconnected from the websocket */ - static async Disconnected(e) { - console.error(e) - alert("Disconnected from the server !"); + static async Closed(e) { + console.error("WS closed", e) + + const num_seconds = ComunicWeb.__config.productionMode ? 5 : 0.5; + + notify("Disconnected from the server, page will be reloaded in "+num_seconds+" seconds !", "danger"); + + setTimeout(() => ComunicWeb.common.system.restart(), num_seconds*1000); } /**