//
// $Id$
+require_once 'lib/Usuario.php';
+
+// Arranca la sesiĆ³n
+session_start();
+//TODO - verificar si existe el id y reconstruirlo
+
function pagina_cabecera($titulo = '')
{
?>
<?php
}
+function error($msg)
+{
+ 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