<?php
/**
 * Déconnexion - CORRIGÉ pour utiliser PHPSESSID
 */

// Charger session.php pour avoir la bonne config
require_once __DIR__ . '/config/session.php';

// Démarrer la session pour pouvoir la détruire (déjà fait dans session.php mais on vérifie)
if (session_status() === PHP_SESSION_NONE) {
    session_start();
}

// Vider les données de session
$_SESSION = array();

// Supprimer le cookie de session PHPSESSID
if (isset($_COOKIE['PHPSESSID'])) {
    setcookie('PHPSESSID', '', time()-3600, '/mathematiques/');
}

// Détruire la session
session_destroy();

// Redirection
header("Location: login.php");
exit;
?>
