pagina_check_login();
pagina_cabecera();
ok('Hola Mundo!');
+printf('ID: %s<br/>', $_SESSION['user']->getId());
+printf('Nombre: %s<br/>', $_SESSION['user']->getNombre());
+printf('Apellido: %s<br/>', $_SESSION['user']->getApellido());
+printf('Email: %s<br/>', $_SESSION['user']->getEmail());
+printf('Créditos: %s<br/>', $_SESSION['user']->getCreditos());
+printf('Admin: %d<br/>', $_SESSION['user']->esAdmin());
+printf('Asesor: %d<br/>', $_SESSION['user']->esAsesor());
+echo '<pre>'; var_dump($_SESSION['user']); echo '</pre>';
pagina_pie('Leandro Lucarella', 'llucare@fi.uba.ar');
?>
\ No newline at end of file