prepare("DELETE FROM securitytokens WHERE identifier = :i AND user_type = 'admin'"); $stmt->execute([':i' => $identifier]); } // 2) Session sauber leeren $_SESSION = []; if (ini_get("session.use_cookies")) { $params = session_get_cookie_params(); setcookie(session_name(), '', time() - 3600, $params['path'], $params['domain'], $params['secure'], $params['httponly']); } session_destroy(); // 3) Remember-me Cookies löschen (mit gleichen Optionen wie gesetzt) $isHttps = (!empty($_SERVER['HTTPS']) && $_SERVER['HTTPS'] !== 'off') || ((int)($_SERVER['SERVER_PORT'] ?? 0) === 443); $cookieOpts = [ 'expires' => time() - 3600, 'path' => '/', 'secure' => $isHttps, 'httponly' => true, 'samesite' => 'Lax', ]; setcookie('identifier', '', $cookieOpts); setcookie('securitytoken', '', $cookieOpts); // 4) Intern-Bereich: Remember-Device-Token loeschen. // Ohne diesen Schritt meldet check_intern_user() den Benutzer beim naechsten // Seitenaufruf ueber das Cookie automatisch wieder an - der Logout waere wirkungslos. if (!empty($_COOKIE["remember_device"])) { $stmt = $pdo->prepare("DELETE FROM intern_securitytokens WHERE identifier = :i"); $stmt->execute([":i" => (string)$_COOKIE["remember_device"]]); } setcookie("remember_device", "", $cookieOpts); setcookie("remember_device_token", "", $cookieOpts); include("templates/header.inc.php"); ?>