commit ed3946c3ac02b5534722db2df1a248c4ed7e2035
from: Omar Polo <op@omarpolo.com>
date: Thu Sep 07 16:04:56 2023 UTC

amused-web: alert when the websocket gets closed

commit - 0e016c894811904c39241c7e0bd3c61d6262d72d
commit + ed3946c3ac02b5534722db2df1a248c4ed7e2035
blob - 1a15479cb7affe6de0613a6a4d90693bf1e4814a
blob + 2acd6a0435a6ef49a253ca7fef407ef6f4e47b18
--- web/web.c
+++ web/web.c
@@ -218,7 +218,10 @@ const char *js =
 	" ws = new WebSocket((location.protocol=='http:'?'ws://':'wss://')"
 	"  + location.host + '/ws');"
 	" ws.addEventListener('open', () => console.log('ws: connected'));"
-	" ws.addEventListener('close', () => console.log('ws: closed'));"
+	" ws.addEventListener('close', () => {"
+	"  alert('Websocket closed.  The interface won\\'t update itself.'"
+	"   + ' Please refresh the page');"
+	" });"
 	" ws.addEventListener('message', e => d(e.data))"
 	"};"
 	"w();"