<?php
session_start();
require_once 'config/conexion.php';

// Limpiamos el session_id en la base de datos antes de destruir la sesión local
if (isset($_SESSION['user_id'])) {
    $stmt = $pdo->prepare("UPDATE usuarios SET session_id = NULL WHERE id = ?");
    $stmt->execute([$_SESSION['user_id']]);
}

// Destruimos la sesión en el navegador
session_unset();
session_destroy();

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