X-Git-Url: https://jxself.org/git/?p=mudsync.git;a=blobdiff_plain;f=data%2Fweb-static%2Fjs%2Fmudsync.js;fp=data%2Fweb-static%2Fjs%2Fmudsync.js;h=c5b7dca82d47cd928e351035814fda29b01327e1;hp=0e7ebe6f1c94abc23f64b582c8f87ea0c06436c3;hb=25c34496ce23be265460bc4c95cba6036ff577a2;hpb=055ce4c85ccf38385b80d1873927e059f7b58a20

diff --git a/data/web-static/js/mudsync.js b/data/web-static/js/mudsync.js
index 0e7ebe6..c5b7dca 100644
--- a/data/web-static/js/mudsync.js
+++ b/data/web-static/js/mudsync.js
@@ -19,7 +19,7 @@
 */
 
 function scrollDown() {
-    var stream_metabox = document.getElementById("stream-metabox");
+    var stream_metabox = document.getElementById("stream-metabox");o
     stream_metabox.scrollTop = stream_metabox.scrollHeight;
 }
 
@@ -53,6 +53,12 @@ function displayMessage(data, self_sent) {
         });
 }
 
+function setConnectedText(string, to_class) {
+    var stream_metabox = document.getElementById("connection-status");
+    stream_metabox.textContent = "[" + string + "]";
+    stream_metabox.setAttribute("class", to_class);
+}
+
 function installWebsocket() {
     // TODO: Don't hardcode the websocket path; pull it from the DOM
     var address = "ws://".concat(window.location.hostname, ":", window.location.port);
@@ -61,9 +67,16 @@ function installWebsocket() {
         displayMessage(evt.data, false);
     };
     ws.onopen = function() {
+        setConnectedText("connected", "connected");
         console.log("connected");
     };
     ws.onclose = function () {
+        setConnectedText("disconnected", "disconnected");
+        // kludge, we shouldn't be using self_sent like this because it
+        // wipes the input
+        displayMessage(
+            "* You have been disconnected.  Refresh to (hopefully) reconnect.",
+            true);
         console.log("closed websocket");
     };
     installUIHooks(ws);