<?php
// D:\wamp64\www\shtaller-gk\logout.php

// 1. Iniciar la sesión para poder manipularla
session_start();

// 2. Limpiar todas las variables de sesión (ID, Usuario, Rol, etc.)
$_SESSION = array();

// 3. Si se desea destruir la sesión completamente, también hay que borrar la cookie de sesión.
if (ini_get("session.use_cookies")) {
    $params = session_get_cookie_params();
    setcookie(session_name(), '', time() - 42000,
        $params["path"], $params["domain"],
        $params["secure"], $params["httponly"]
    );
}

// 4. Destruir la sesión en el servidor
session_destroy();

// 5. Redirigir al usuario a la página de inicio de sesión
header("Location: login.php");
exit;