From: Michal Sojka <michal.sojka@cvut.cz>
Date: Thu, 16 Aug 2018 15:37:58 +0000 (+0200)
Subject: Replace tabs with spaces
X-Git-Url: https://rtime.felk.cvut.cz/gitweb/coffee/mt-apps.git/commitdiff_plain/1d2c71ed6f786f0a4d0ef948edfd2085581fab42

Replace tabs with spaces
---

diff --git a/html/index.html b/html/index.html
index afc244f..9c77744 100644
--- a/html/index.html
+++ b/html/index.html
@@ -5,13 +5,13 @@
 <title>IID Coffee Terminal</title>
 <script>
     function loadServerScript() {
-	let script = document.createElement('script');
-	script.src = "http://localhost:5000/js";
-	document.head.append(script);
-	script.onerror = function() {
-	    this.parentElement.removeChild(this);
-	    setTimeout(loadServerScript, 10000);
-	};
+        let script = document.createElement('script');
+        script.src = "http://localhost:5000/js";
+        document.head.append(script);
+        script.onerror = function() {
+            this.parentElement.removeChild(this);
+            setTimeout(loadServerScript, 10000);
+        };
     }
 
     loadServerScript();
@@ -20,35 +20,35 @@
 
     function connect() {
         console.log("connecting...");
-	socket = new WebSocket(
+        socket = new WebSocket(
             "ws://" + document.domain + ':' + location.port,
             "merica-terminal-protocol"
-	);
+        );
 
-	socket.onopen = function() {
+        socket.onopen = function() {
             console.log("socket open");
             document.getElementById("inputStatus").innerHTML = "connected";
-	}
+        }
 
-	socket.onclose = function() {
+        socket.onclose = function() {
             console.log("socket closed");
             document.getElementById("inputStatus").innerHTML = "disconnected";
-	    delete socket;
-	    setTimeout(connect, 10000);
-	}
+            delete socket;
+            setTimeout(connect, 10000);
+        }
 
-	socket.onmessage = function(msg) {
+        socket.onmessage = function(msg) {
             updateJSONmsg(msg.data);
             if (typeof updateRemote === "function") {
-		updateRemote(msg.data);
+                updateRemote(msg.data);
             } else {
-		if (localStorage) {
+                if (localStorage) {
                     var now = Date.now();
                     localStorage.setItem(now, msg.data);
                     console.log(now + ": " + msg.data);
-		}
+                }
             }
-	}
+        }
     }
 
     connect();