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"; |