Use correct URL of the rtime server

We use plain IP address in an attempt to avoid CIIRC's NAT, which
would prevent us knowing the source IP address. The idea is that we
will allow the request only from the IP address of the terminal.

diff --git a/html/index.html b/html/index.html
index 43b1d9a29035ce173b8f0048ba8ca6ef47a57e16..63fed344ea40ef3f4c06e5e6a8e35d4dd71f9e3d 100644 (file)
--- a/html/index.html
+++ b/html/index.html
@@ -4,7 +4,7 @@
 <script>
     function loadServerScript() {
        let script = document.createElement('script');
-       script.src = "//rtime.felk.cvut.cz:5000/js";
+       script.src = "http://10.35.95.2/coffee/js";
        document.head.append(script);
        script.onerror = function() {
            this.parentElement.removeChild(this);