session_start(); if(isset($SESSION)){ header("location:user.php"); /* Si ha iniciado la sesion, vamos a user.php */ } else { /* Cerramos la parte de codigo PHP porque vamos a escribir bastante HTML y nos será mas cómodo así que metiendo echo's */ ?>
|
|||||
|
|||||||||||||||||
| a | a | a |