Don't force reload the page on error (fixes #24)

2017-12-10 19:10:02 -08:00 · 2017-12-10 19:10:02 -08:00 · 0598645923
parent 6e05c2677b
commit 0598645923
1 changed files with 2 additions and 1 deletions
--- a/Ooui/Client.js
+++ b/Ooui/Client.js
@ -57,7 +57,8 @@ function ooui (rootElementPath) {
    socket.addEventListener ("close", function (event) {
        console.error ("Web socket close", event);
        if (opened) {
-            location.reload ();
+            alert ("Connection to the server has been lost. Please try refreshing the page.");
+            opened = false;
        }
    });