";

if (!$currentUser) {
    // Utente non autenticato
   echo "Utente non autenticato\n"; 
    // Controlla se esiste un username memorizzato (cookie scaduto)
    $rememberedUsername = $userManager->getRememberedUsername();
    
    if ($rememberedUsername) {
        echo "Cookie scaduto ma username presente\n";
        // Cookie scaduto ma username presente -> chiedi solo password
        // header('Location: /reauth.php?username=' . urlencode($rememberedUsername));
        exit;
    } else {
        // Nessuna autenticazione -> login completo
        echo
        // header('Location: /login.php');
        exit;
    }
}

// Utente autenticato - memorizza in variabile globale per uso nelle pagine
// $_SESSION['user'] = $currentUser;


echo "