commit - 0e016c894811904c39241c7e0bd3c61d6262d72d
commit + ed3946c3ac02b5534722db2df1a248c4ed7e2035
blob - 1a15479cb7affe6de0613a6a4d90693bf1e4814a
blob + 2acd6a0435a6ef49a253ca7fef407ef6f4e47b18
--- web/web.c
+++ web/web.c
" 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();"