gpx-web-utils/dist/index.html
2021-11-25 15:21:51 -07:00

52 lines
No EOL
1.7 KiB
HTML

<!DOCTYPE html><html><head>
<meta charset="utf-8">
<title>gpx.thermokar.st</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<style>
body {
max-width: 35em;
margin: 0 auto;
line-height: 1.5;
font-family: sans-serif;
font-size: large;
}
</style>
<link rel="preload" href="/index-5695e498a6d6f6f5_bg.wasm" as="fetch" type="application/wasm" crossorigin="">
<link rel="modulepreload" href="/index-5695e498a6d6f6f5.js"></head>
<body>
<noscript>
<mark>
This page contains webassembly and javascript content, please enable
javascript in your browser to use this tool.
</mark>
</noscript>
<script type="module">import init from '/index-5695e498a6d6f6f5.js';init('/index-5695e498a6d6f6f5_bg.wasm');</script><script>(function () {
var url = 'ws://' + 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>