Update web pages a bit

diff --git a/templates/hello.html b/templates/hello.html
index b8aa20801715294c9d68c0e019ab816da68d1100..53ea39386a0b86969e912a96da52794129520008 100644 (file)
--- a/templates/hello.html
+++ b/templates/hello.html
@@ -1,5 +1,11 @@
 <center>
-this is truhlik calling...
-<div id="user">login</div>
+Server online
+<div id="user">Use your card/token to log in...</div>
 <p id="log"></p>
 </center>
+Hack me:
+<pre>
+  git clone git@rtime.felk.cvut.cz:coffee/main
+  git submodule update --init
+</pre>
+Ask ms@2x.cz for permissions.

diff --git a/templates/main.js b/templates/main.js
index 3aa29bcceebe61e05fe6f07427b74570399b3550..9feaf6e345b11ccea93360afe5c49b7f9a255249 100644 (file)
--- a/templates/main.js
+++ b/templates/main.js
@@ -87,7 +87,7 @@ function ajax(method, route, data, id) {
                 update(id, this.responseText);
             } else {
                 updateRemote = undefined;
-                update("remote", "<center>all alone in a danger zone...</center>");
+                update("remote", "<center>Server offline...</center>");
                 document.getElementById("local").style.display = "block";
                 if (localStorage) {
                     var now = Date.now();