0 ) { // si esta registrado el usuario en la base de datos $fila = mysql_fetch_array($result); $_SESSION['valid_user'] = $userid; $_SESSION['tipo'] = $fila['Tipo']; $_SESSION['codigo'] = $fila['cod_lector']; $_SESSION['codigobibliotecario']= $fila['cod_bibliotecario']; } } ?>
Biblioteca
'; echo 'Cerrar Sesion
'; if($_SESSION['tipo']=='Bibliotecario') { header("location: menubibliotecario.php"); } } else { if (isset($userid)) { // si se fallo al tratar de iniciar sesi?n echo 'No se pudo acceder'; } else { // they have not tried to log in yet or have logged out echo 'Tu no estas logeado.
'; } ?>
Iniciar Sesión
Usuario:
Clave:
Tipo: