var flask = "{{ url_for('hello', _external=True) }}"
-var updateRemote = undefined;
-var loggedIn = false;
+// State variables
+
+var updateRemote = undefined; // defined iff remote server accessible
+var loggedIn = false; // true after swiping the cards
+var timeToLogout = undefined; // defined during logout countdown
+var logoutTimer;
console.log("hello from flask");
//sendJSON("{\"type\":\"empty\"}");
var flavorChosen;
-function countingTimeLogout(count_time){
- document.getElementById("logout_button").value = '\nlogout\n(' + count_time + ' s)';
- if (count_time == 0) {
- logout();
- } else {
- setTimeout(function() { countingTimeLogout(count_time - 1); }, 1000);
- }
-}
-
-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ā¦";
+ if (updateRemote === undefined) {
+ update("remote", "<center>Server offline...</center>");
+ document.getElementById("local").style.display = "block";
} else {
- if (flavorChosen !== undefined) {
- document.getElementById("nextStep").innerHTML = "Enjoy your " + flavorChosen + "!";
- flavorChosen=undefined;
- countingTimeLogout(10); //mean 10 seconds
+ document.getElementById("local").style.display = "none";
+
+ if (loggedIn) {
+ 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").value = '\nlogout\n(' + timeToLogout + ' s)';
}
}
update("remote", this.responseText);
updateRemote = hiddenUpdateRemote;
loadLocalStorage();
- if (loggedIn) {
- document.getElementById("local").style.display = "none";
- }
+ updateUI();
}
};
xhr.open("GET", flask, true);
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({
function login(id) {
ajax("POST", "login", id, "user");
loggedIn = true;
- document.getElementById("local").style.display = "none";
+ clearTimeout(logoutTimer);
+ timeToLogout = undefined;
}
function logout() {
sendReset();
ajax("GET", "logout", "", "user");
loggedIn = false;
- document.getElementById("local").style.display = "block";
+ 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() {
ajax("POST", "coffee/add", data, "user");
flavorChosen = flavor;
loggedIn = false;
+ countingTimeLogout(10); //mean 10 seconds
}
}