|
@@ -65,16 +65,14 @@
|
|
|
|
|
|
socket.addEventListener('error', function (event) {
|
|
|
console.log('Websocket closed');
|
|
|
- let ok_to_reload = confirm('Page needs to be reloaded, click OK to reload');
|
|
|
- if (ok_to_reload) window.location.reload()
|
|
|
+ window.location.reload()
|
|
|
});
|
|
|
|
|
|
var web_socket_closed = false;
|
|
|
socket.addEventListener('close', function (event) {
|
|
|
console.log('Websocket closed');
|
|
|
web_socket_closed = true;
|
|
|
- let ok_to_reload = confirm('Page needs to be reloaded, click OK to reload');
|
|
|
- if (ok_to_reload) window.location.reload()
|
|
|
+ window.location.reload()
|
|
|
});
|
|
|
|
|
|
socket.addEventListener('message', function (event) {
|