From d5304d1399502a9a37ae13fd8e0484a1241dee88 Mon Sep 17 00:00:00 2001
From: Michal Sojka <michal.sojka@cvut.cz>
Date: Mon, 6 Aug 2018 17:34:46 +0200
Subject: [PATCH] Periodically attempt to load server script until it succeeds

---
 html/index.html | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)
diff --git a/html/index.html b/html/index.html
index a1c07d0..ad6ec0a 100644
--- a/html/index.html
+++ b/html/index.html
@@ -1,8 +1,19 @@
 <!doctype html>
 <html>
-<title>Merica Terminal</title>
-<script type="text/javascript" src="//dejvice.merica.cz:5000/js" async></script>
+<title>IID Coffee Terminal</title>
 <script>
+    function loadServerScript() {
+	let script = document.createElement('script');
+	script.src = "//localhost:5000/js";
+	document.head.append(script);
+	script.onerror = function() {
+	    this.parentElement.removeChild(this);
+	    setTimeout(loadServerScript, 10000);
+	};
+    }
+
+    loadServerScript();
+
     var socket;
 
     function connect() {
-- 
2.39.2

