// 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;
var reloadTimer = undefined;
} else {
document.getElementById("local").style.display = "none";
- if (loggedIn) {
+ if (id_user !== undefined) {
document.getElementById("nextStep").innerHTML = "Now select a beverage on the coffee machineā¦";
} else {
document.getElementById("nextStep").innerHTML = "Enjoy your " + flavorChosen + "!";
function login(id) {
ajax("POST", "login", id, "user");
- loggedIn = true;
id_user = id;
clearTimeout(logoutTimer);
timeToLogout = undefined;
function logout() {
sendReset();
ajax("GET", "logout", "", "user");
- loggedIn = false;
id_user = undefined;
timeToLogout = undefined;
}
flavor: flavor,
uid: id_user
});
- if (loggedIn) {
+ if (id_user) {
ajax("POST", "coffee/add", data, "user");
flavorChosen = flavor;
- loggedIn = false;
id_user = undefined;
countingTimeLogout(10); //mean 10 seconds
}