<? session_start(); if (!isset($_SESSION['usuario'])) { // die ("Usuario no registrado"); header( "Location: ../html/index.php?error=¡Escriba su login y password!" ); } ?>