<?php
// logout.php - Skript zur Abmeldung

// Session starten
if (session_status() == PHP_SESSION_NONE) {
    session_start();
}

// Alle Session-Variablen löschen
$_SESSION = array();

// Wenn die Session über Cookies verwaltet wird, lösche auch den Session-Cookie
// Beachte: Dies löscht nicht die Session-Datei auf dem Server
// sondern nur den Cookie auf der Clientseite.
if (ini_get("session.use_cookies")) {
    $params = session_get_cookie_params();
    setcookie(session_name(), '', time() - 42000,
        $params["path"], $params["domain"],
        $params["secure"], $params["httponly"]
    );
}

// Die Session zerstören
session_destroy();

// Zur Login-Seite umleiten
header("Location: login.php");
exit;
?>
