44 lines
1.8 KiB
HTML
44 lines
1.8 KiB
HTML
<!DOCTYPE html><html><head>
|
|
<meta charset="utf-8">
|
|
<title>Blanco Lorenzo</title>
|
|
|
|
<link rel="stylesheet" href="/body-543b917958789c41.css">
|
|
<link rel="stylesheet" href="/navbar-b9323c6a829e08b2.css">
|
|
<link rel="stylesheet" href="/start-23334f07d784d520.css">
|
|
|
|
<link href="https://fonts.googleapis.com/css?family=Poppins" rel="stylesheet">
|
|
<script src="https://kit.fontawesome.com/fcdfdfe1ad.js" crossorigin="anonymous"></script>
|
|
|
|
<base href="/">
|
|
|
|
|
|
<link rel="preload" href="/bl-frontend-9f36eaf4ad59c9b9_bg.wasm" as="fetch" type="application/wasm" crossorigin="">
|
|
<link rel="modulepreload" href="/bl-frontend-9f36eaf4ad59c9b9.js"></head>
|
|
<body><script type="module">import init from '/bl-frontend-9f36eaf4ad59c9b9.js';init('/bl-frontend-9f36eaf4ad59c9b9_bg.wasm');</script><script>(function () {
|
|
var protocol = window.location.protocol === 'https:' ? 'wss:' : 'ws:';
|
|
var url = protocol + '//' + window.location.host + '/_trunk/ws';
|
|
var poll_interval = 5000;
|
|
var reload_upon_connect = () => {
|
|
window.setTimeout(
|
|
() => {
|
|
// when we successfully reconnect, we'll force a
|
|
// reload (since we presumably lost connection to
|
|
// trunk due to it being killed, so it will have
|
|
// rebuilt on restart)
|
|
var ws = new WebSocket(url);
|
|
ws.onopen = () => window.location.reload();
|
|
ws.onclose = reload_upon_connect;
|
|
},
|
|
poll_interval);
|
|
};
|
|
|
|
var ws = new WebSocket(url);
|
|
ws.onmessage = (ev) => {
|
|
const msg = JSON.parse(ev.data);
|
|
if (msg.reload) {
|
|
window.location.reload();
|
|
}
|
|
};
|
|
ws.onclose = reload_upon_connect;
|
|
})()
|
|
</script></body></html> |