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)
}
;