go_ops/static/js/reload.min.js
2020-09-29 10:21:25 +08:00

23 lines
487 B
JavaScript

function b(a) {
var c = new WebSocket(a);
c.onclose = function () {
setTimeout(function () {
b(a)
}, 2E3)
};
c.onmessage = function () {
location.reload()
}
}
try {
if (window.WebSocket) try {
b("ws://localhost:12450/reload")
} catch (a) {
console.error(a)
} else console.log("Your browser does not support WebSockets.")
} catch (a) {
console.error("Exception during connecting to Reload:", a)
}
;