//
// $Id$
+require_once 'lib/Usuario.php';
+
// Arranca la sesiĆ³n
session_start();
+//TODO - verificar si existe el id y reconstruirlo
function pagina_cabecera($titulo = '')
{
+ header('Content-type: text/html; charset=ISO-8859-1');
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
printf('<p style="color: red">%s</p>', $msg);
}
+function ok($msg)
+{
+ printf('<p style="color: green">%s</p>', $msg);
+}
+
?>
\ No newline at end of file