<?php
session_start();

// Verificar que el usuario esté logueado
if (!isset($_SESSION['usuario'])) {
    header("Location: index.html");
    exit;
}

// Verificar que sea administrador
if ($_SESSION['tipo_acceso'] !== 'ADMIN') {
    // Si no es admin, redirigir al menú correspondiente
    header("Location: menu.php");
    exit;
}

// Verificar token de sesión válido
if (!isset($_SESSION['token']) || empty($_SESSION['token'])) {
    // Token inválido, cerrar sesión
    session_destroy();
    header("Location: index.html");
    exit;
}

$host = "localhost";
$user = "ascensof_Admin1";
$password = "3DS0NCH4115H4CK3R+";
$db = "ascensof_BDsimulador";

//$host = "localhost";
//$user = "root";
//$password = "";
//$db = "siapolco_BDsimulador";

$conn = new mysqli($host, $user, $password, $db);
if (!$conn->connect_error) {
    $usuario = $conn->real_escape_string($_SESSION['usuario']);
    $token = $conn->real_escape_string($_SESSION['token']);
    
    $sql = "SELECT Id FROM Usuarios WHERE usuario = '$usuario' AND token = '$token' AND habilitado = 1";
    $result = $conn->query($sql);
    
    if ($result->num_rows !== 1) {
        // Token no válido en BD, cerrar sesión
        session_destroy();
        $conn->close();
        header("Location: index.html");
        exit;
    }
    $conn->close();
}

// Si llegamos aquí, el usuario es admin válido
$nombre_usuario = $_SESSION['nombre'];
$usuario_actual = $_SESSION['usuario'];
?>