toHtml().'!');
printf('ID: %s
', $_SESSION['user']->getId());
printf('Nombre: %s
', $_SESSION['user']->getNombre());
printf('Apellido: %s
', $_SESSION['user']->getApellido());
printf('Email: %s
', $_SESSION['user']->getEmail());
printf('Créditos: %s
', $_SESSION['user']->getCreditos());
printf('Admin: %d
', $_SESSION['user']->esAdmin());
printf('Asesor: %d
', $_SESSION['user']->esAsesor());
echo '
'; var_dump($_SESSION['user']); echo ''; pagina_pie('Leandro Lucarella', 'llucare@fi.uba.ar'); ?>