Spaces:
Running
Running
| <html lang="en"><head> | |
| <meta charset="utf-8"> | |
| <title>Welcome to Candle!</title> | |
| <script type="module">import init from '/app-ce1542bf305e9c17.js';init('/app-ce1542bf305e9c17_bg.wasm');</script> | |
| <link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Roboto:300,300italic,700,700italic"> | |
| <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/normalize/8.0.1/normalize.css"> | |
| <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/milligram/1.4.1/milligram.css"> | |
| <link rel="preload" href="/app-ce1542bf305e9c17_bg.wasm" as="fetch" type="application/wasm" crossorigin=""> | |
| <link rel="modulepreload" href="/app-ce1542bf305e9c17.js"></head> | |
| <body> | |
| <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> |