problema con variable de sesion

[jotaincubus]

Miremos, lo que estas haciendo es que si el user y pass están vacíos lo rediriges a una pagina que se llama cerrojo.html de lo contrario que se muestre un código HTML, si esto es así entonces:

Primero verifica si las variables de sesion existen y tambien si vienen vacias, entonces eso lo haces con un IF que verifique todas esas variables, si no exiten o estan vacias entonces lo rediriges sino imprimes un HTML

Código PHP:

if(!isset($_SESSION['usuario']) or !isset($_SESSION['pass']) or $_SESSION['usuario'] == "" or $_SESSION['pass'] == ""){
    header("Location: cerrojo.html");   
}else{
    //aca el codigo HTML
}