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

praeclarum · Dec 11, 2017 · 0598645 · 0598645
1 parent 6e05c26
commit 0598645
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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;
         }
     });