<script>
console.warn("This document is in *development mode*\nDocument will reload automatically.");
let ws;
connect();
function connect() {
console.log("WS: Connecting...");
ws = new WebSocket("ws://localhost:3001");
ws.onopen = event => {
console.log("WS: Server open");
cancel_reconnect();
};
ws.onclose = error => {
console.warn("WS: Server closed");
reconnect();
};
ws.onerror = error => {
console.error("WS: Failed to connect!");
reconnect();
};
ws.onmessage = event => {
if (event.data === "reload") {
console.log("Reloading page...");
location.reload();
}
};
}
let reconnect_interval;
function reconnect() {
cancel_reconnect();
reconnect_interval = setInterval(connect, 1000);
}
function cancel_reconnect() {
clearInterval(reconnect_interval);
}
</script>