1 files changed, 1 insertions(+), 1 deletions(-)

M web/index.html

@@ 35,7 35,7 @@
 
             let servers = ["localhost:3000"];
 
-            function server_url_to_ping_url(server) { return "http://" + server + "/ping" }
+            function server_url_to_ping_url(server) { return window.location.protocol + "//" + server + "/ping" }
             function server_url_to_gateway_url(server) { return "ws://" + server + "/ws" }
 
             function load_server(server) {