From 0598645923709859ceaed3d6103e2fe443da6f75 Mon Sep 17 00:00:00 2001
From: "Frank A. Krueger" <fak@praeclarum.org>
Date: Sun, 10 Dec 2017 19:10:02 -0800
Subject: [PATCH] Don't force reload the page on error (fixes #24)

---
 Ooui/Client.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Ooui/Client.js b/Ooui/Client.js
index 605cb91..f77d6e1 100644
--- 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;
         }
     });