From 719809400bf9d5e9e87e1f7f0055b82448283fa0 Mon Sep 17 00:00:00 2001
From: Michal Sojka <michal.sojka@cvut.cz>
Date: Tue, 7 Aug 2018 13:04:43 +0200
Subject: [PATCH] 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.
---
 html/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/index.html b/html/index.html
index 43b1d9a..63fed34 100644
--- 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);
-- 
2.39.2