Move the server to rtime

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