var flask = "{{ url_for('hello', _external=True) }}"
-var updateRemote = undefined;
-var loggedIn = false;
+// State variables
+
+var updateRemote = undefined; // defined iff remote server accessible
+var timeToLogout = undefined; // defined during logout countdown
+var logoutTimer;
+var reloadTimer = undefined;
+var id_user; // ID of the user who is to be accounted for the next coffee
console.log("hello from flask");
//sendJSON("{\"type\":\"empty\"}");
document.getElementById(id).innerHTML = msg;
}
-function loadLocalStorage() {
+function replayOfflineQueue() {
if (localStorage) {
- if (localStorage.length) {
- for (var i = 0; i < localStorage.length; i++) {
- var value = localStorage.getItem(localStorage.key(i));
- try {
- updateRemote(value);
- } catch (err) {
- console.log("no json: " + value)
- }
- }
- localStorage.clear();
+ let queue = JSON.parse(localStorage.getItem("offlineQueue")) || [];
+ if (Array.isArray(queue)) {
+ queue.forEach(function (entry) {
+ updateRemote(entry.data);
+ });
+ localStorage.removeItem("offlineQueue");
}
}
}
var flavorChosen;
-function updateNextStep()
+// Central function to update UI elements. To ensure that the UI is
+// consistent, other code should only change state variables and then
+// call this function. This function updates the UI to match the state.
+function updateUI()
{
- if (loggedIn) {
- document.getElementById("nextStep").innerHTML = "Now select a beverage on the coffee machineā¦";
- } else {
- document.getElementById("nextStep").innerHTML = "Enjoy your " + flavorChosen + "!";
+ try {
+ let offline = updateRemote === undefined;
+
+ document.getElementById("local").style.display = !offline ? "none" : "block";
+ document.getElementById("remote").style.display = offline ? "none" : "block";
+
+ if (offline) {
+ loadRemote(); // Try to contact the server periodically
+ return;
+ }
+
+ if (id_user !== undefined) {
+ document.getElementById("nextStep").innerHTML = "Now select a beverage on the coffee machineā¦";
+ } else {
+ document.getElementById("nextStep").innerHTML = "Enjoy your " + flavorChosen + "!";
+ }
+
+ if (timeToLogout !== undefined)
+ document.getElementById("logout_button").innerHTML = '<br>logout<br>(' + timeToLogout + ' s)';
+ }
+ catch (err) {
+ console.log("Error: ", err);
}
}
function hiddenUpdateRemote(json) {
var msg = JSON.parse(json);
- //update("json", "json: " + JSON.stringify(msg))
-
switch(msg.type) {
case "empty":
- //update("json","");
break;
case "rfid":
- /*update("json",
- "uid: " + msg.uid + "<br>" +
- "card type: " + msg.card_type + "<br>" +
- "uid size: " + msg.size + " bytes<br>" +
- "sak: " + msg.sak
- );*/
login(msg.uid);
break;
case "keys":
- //update("json", "key: " + msg.key);
- if (loggedIn) {
- var flavor = getFlavor(msg.key);
- if (flavor !== "") {
- addCoffee(flavor);
- flavorChosen = flavor;
- loggedIn = false;
- }
+ var flavor = getFlavor(msg.key);
+ if (flavor !== "") {
+ addCoffee(flavor);
}
break;
case "fuck":
function loadRemote(string) {
var xhr = new XMLHttpRequest();
xhr.onreadystatechange = function() {
- if (this.readyState == 4 && this.status == 200) {
- update("remote", this.responseText);
- updateRemote = hiddenUpdateRemote;
- loadLocalStorage();
- if (loggedIn) {
- document.getElementById("local").style.display = "none";
+ if (this.readyState == 4) {
+ if (this.status == 200) {
+ update("remote", this.responseText);
+ updateRemote = hiddenUpdateRemote;
+ replayOfflineQueue();
+ updateUI();
+ clearTimeout(reloadTimer);
+ } else {
+ reloadTimer = setTimeout(loadRemote, 1000);
}
}
};
loadRemote();
function ajax(method, route, data, id) {
+ var now = Date.now();
var xhr = new XMLHttpRequest();
xhr.onreadystatechange = function() {
if (this.readyState == 4) {
if (this.status == 200) {
update(id, this.responseText);
- updateNextStep();
+ updateUI();
} else {
updateRemote = undefined;
- update("remote", "<center>Server offline...</center>");
- document.getElementById("local").style.display = "block";
+ updateUI();
+
if (localStorage) {
- var now = Date.now();
var fuck = JSON.stringify({
type: "fuck",
method: method,
data: data,
id: id
});
- localStorage.setItem(now, fuck);
- console.log(now + ": " + fuck);
+ let queue = JSON.parse(localStorage.getItem("offlineQueue")) || [];
+ queue.push({ time: Date.now(), data: fuck });
+ try {
+ localStorage.setItem("offlineQueue", JSON.stringify(queue));
+ }
+ catch (err) {
+ console.log(err);
+ }
}
}
}
}
}
-//var timer;
function login(id) {
ajax("POST", "login", id, "user");
- loggedIn = true;
- document.getElementById("local").style.display = "none";
- //timer = setTimeout(logout, 20000);
+ id_user = id;
+ clearTimeout(logoutTimer);
+ timeToLogout = undefined;
}
function logout() {
- //clearTimeout(timer);
sendReset();
ajax("GET", "logout", "", "user");
- loggedIn = false;
- document.getElementById("local").style.display = "block";
+ id_user = undefined;
+ timeToLogout = undefined;
+}
+
+function countingTimeLogout(count_time)
+{
+ timeToLogout = count_time;
+ updateUI();
+ if (count_time == 0) {
+ logout();
+ } else {
+ logoutTimer = setTimeout(function() { countingTimeLogout(count_time - 1); }, 1000);
+ }
}
function renameUser() {
function addCoffee(flavor) {
var data = JSON.stringify({
time: new Date().toISOString(),
- flavor: flavor
+ flavor: flavor,
+ uid: id_user
});
- ajax("POST", "coffee/add", data, "user");
+ if (id_user) {
+ ajax("POST", "coffee/add", data, "user");
+ flavorChosen = flavor;
+ id_user = undefined;
+ countingTimeLogout(10); //mean 10 seconds
+ }
}
function sendLog(json) {