diff options
Diffstat (limited to 'page.html')
| -rw-r--r-- | page.html | 3 | 
1 files changed, 2 insertions, 1 deletions
| @@ -45,7 +45,8 @@    </body>    <script>      window.id = NaN; -    let s = new WebSocket(`ws://${window.location.hostname}:31236`); +    let wsproto = (window.location.protocol == "https:")? "wss:": "ws:"; +    let s = new WebSocket(`${wsproto}//${window.location.hostname}:${window.location.port}`);      let info_elem = document.getElementById("miscinfo");      let board_elem = document.getElementById("board");      let name = "deadbeef"; | 
