// Arranca la sesión
session_start();
+// Pongo que tire mucho errores
+error_reporting(E_ALL);
+
+/// Cabecera de página (HTML y HTTP)
function pagina_cabecera($titulo = '')
{
header('Content-type: text/html; charset=ISO-8859-1');
<?php
}
+/// Pie de página
function pagina_pie($autor, $mail)
{
?>
<?php
}
+/// Mensajes de error
function error($msg)
{
printf('<p style="color: red">%s</p>', $msg);
}
+/// Mensajes de éxito
function ok($msg)
{
printf('<p style="color: green">%s</p>', $msg);
}
+/// print fácil para debug.
+function d($var)
+{
+ echo '<pre>'; var_dump($var); echo '</pre>';
+}
+
+/// Verifica que el usuario esté logueado y si no lo está muestra login.
function pagina_check_login($redirect = true)
{
if (!@$_SESSION['user'])