templates/main.js

   1 var flask = "{{ url_for('hello', _external=True) }}"
   2
   3 // State variables
   4
   5 var updateRemote = undefined;   // defined iff remote server accessible
   6 var timeToLogout = undefined;   // defined during logout countdown
   7 var logoutTimer;
   8 var reloadTimer = undefined;
   9 var id_user;                    // ID of the user who is to be accounted for the next coffee
  10
  11 console.log("hello from flask");
  12 //sendJSON("{\"type\":\"empty\"}");
  13
  14 function update(id, msg) {
  15     document.getElementById(id).innerHTML = msg;
  16 }
  17
  18 function replayOfflineQueue() {
  19     if (localStorage) {
  20         let queue = JSON.parse(localStorage.getItem("offlineQueue")) || [];
  21         if (Array.isArray(queue)) {
  22             queue.forEach(function (entry) {
  23                 updateRemote(entry.data);
  24             });
  25             localStorage.removeItem("offlineQueue");
  26         }
  27     }
  28 }
  29
  30 var flavorChosen;
  31
  32 // Central function to update UI elements. To ensure that the UI is
  33 // consistent, other code should only change state variables and then
  34 // call this function. This function updates the UI to match the state.
  35 function updateUI()
  36 {
  37     try {
  38         if (updateRemote === undefined) {
  39             update("remote", "<center>Server offline...</center>");
  40             document.getElementById("local").style.display = "block";
  41             loadRemote();
  42         } else {
  43             document.getElementById("local").style.display = "none";
  44
  45             if (id_user !== undefined) {
  46                 document.getElementById("nextStep").innerHTML = "Now select a beverage on the coffee machine…";
  47             } else {
  48                 document.getElementById("nextStep").innerHTML = "Enjoy your " + flavorChosen + "!";
  49             }
  50
  51             if (timeToLogout !== undefined)
  52                 document.getElementById("logout_button").innerHTML = '<br>logout<br>(' + timeToLogout + ' s)';
  53         }
  54     }
  55     catch (err) {
  56         console.log("Error: ", err);
  57     }
  58 }
  59
  60 function hiddenUpdateRemote(json) {
  61     var msg = JSON.parse(json);
  62
  63     switch(msg.type) {
  64         case "empty":
  65             break;
  66         case "rfid":
  67             login(msg.uid);
  68             break;
  69         case "keys":
  70             var flavor = getFlavor(msg.key);
  71             if (flavor !== "") {
  72                 addCoffee(flavor);
  73             }
  74             break;
  75         case "fuck":
  76             ajax(msg.method, msg.route, msg.data, msg.id);
  77             break;
  78     }
  79     sendLog(json);
  80 }
  81
  82 function loadRemote(string) {
  83     var xhr = new XMLHttpRequest();
  84     xhr.onreadystatechange = function() {
  85         if (this.readyState == 4) {
  86             if (this.status == 200) {
  87                 update("remote", this.responseText);
  88                 updateRemote = hiddenUpdateRemote;
  89                 replayOfflineQueue();
  90                 updateUI();
  91                 clearTimeout(reloadTimer);
  92             } else {
  93                 reloadTimer = setTimeout(loadRemote, 1000);
  94             }
  95         }
  96     };
  97     xhr.open("GET", flask, true);
  98     xhr.send();
  99 }
 100
 101 loadRemote();
 102
 103 function ajax(method, route, data, id) {
 104     var now = Date.now();
 105     var xhr = new XMLHttpRequest();
 106     xhr.onreadystatechange = function() {
 107         if (this.readyState == 4) {
 108             if (this.status == 200) {
 109                 update(id, this.responseText);
 110                 updateUI();
 111             } else {
 112                 updateRemote = undefined;
 113                 updateUI();
 114
 115                 if (localStorage) {
 116                     var fuck = JSON.stringify({
 117                         type: "fuck",
 118                         method: method,
 119                         route: route,
 120                         data: data,
 121                         id: id
 122                     });
 123                     let queue = JSON.parse(localStorage.getItem("offlineQueue")) || [];
 124                     queue.push({ time: Date.now(), data: fuck });
 125                     try {
 126                         localStorage.setItem("offlineQueue", JSON.stringify(queue));
 127                     }
 128                     catch (err) {
 129                         console.log(err);
 130                     }
 131                 }
 132             }
 133         }
 134     };
 135     xhr.open(method, flask + route, true);
 136     xhr.withCredentials = true;
 137     xhr.setRequestHeader("Content-type", "application/json");
 138     if (method === "POST") {
 139         xhr.send(data);
 140     } else {
 141         xhr.send();
 142     }
 143 }
 144
 145
 146 function login(id) {
 147     ajax("POST", "login", id, "user");
 148     id_user = id;
 149     clearTimeout(logoutTimer);
 150     timeToLogout = undefined;
 151 }
 152
 153 function logout() {
 154     sendReset();
 155     ajax("GET", "logout", "", "user");
 156     id_user = undefined;
 157     timeToLogout = undefined;
 158 }
 159
 160 function countingTimeLogout(count_time)
 161 {
 162     timeToLogout = count_time;
 163     updateUI();
 164     if (count_time == 0) {
 165         logout();
 166     } else {
 167         logoutTimer = setTimeout(function() { countingTimeLogout(count_time - 1); }, 1000);
 168     }
 169 }
 170
 171 function renameUser() {
 172     ajax("GET", "user/rename?name=" +  document.getElementById("username").value, "", "user");
 173 }
 174
 175 function getFlavor(letter) {
 176     switch (letter) {
 177         case "E": return "espresso";
 178         case "C": return "cappuccino";
 179         case "B": return "latte macchiato";
 180         case "D": return "espresso lungo";
 181         default: return "";
 182     }
 183 }
 184
 185 function addCoffee(flavor) {
 186     var data = JSON.stringify({
 187         time: new Date().toISOString(),
 188         flavor: flavor,
 189         uid: id_user
 190     });
 191     if (id_user) {
 192         ajax("POST", "coffee/add", data, "user");
 193         flavorChosen = flavor;
 194         id_user = undefined;
 195         countingTimeLogout(10); //mean 10 seconds
 196     }
 197 }
 198
 199 function sendLog(json) {
 200     ajax("POST", "log", json, "log");
 201 }