<?php
// ****************************************************************************
// Decription: Fonction pour se déconnecter
// ****************************************************************************
function logout() {
    session_start();
    // On conserve la langue qui était sélectionnée.
    $lang = $_SESSION["lang"];
    // On instancie les méthodes de gestion de la BDD.
    $dbuser = new DbUser;
    // On supprime le token d'auto-connection dans la BDD.
    $dbuser->autologin_token_delete($_SESSION["email"]);
    // Et le cookie
    if (isset($_COOKIE["autoLogin"])) {
        unset($_COOKIE["autoLogin"]);
        setcookie("autoLogin", "", time() - 3600, "/");
    }
    // On détruit la session.
    session_destroy();
    // Et on en redémarre une nouvelle.
    session_start();
    $_SESSION["loggedIn"] = "0";
    $_SESSION["lang"] = $lang;
    // Enfin on redirige avec le bon message.
    $messageNumber = 7;
    $_SESSION["messageNumber"] = $messageNumber;
    header("Location: /Views/message.php");
    die();
}
?>