From 7395bdec22090f1e16201fcbfe2fbc2f7ddf3706 Mon Sep 17 00:00:00 2001
From: Leandro Lucarella
Date: Wed, 4 May 2005 15:44:01 +0000
Subject: [PATCH] Pongo comentarios y cosas para debug.
---
src/lib/pagina.php | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/src/lib/pagina.php b/src/lib/pagina.php
index 8df27be..e92b90a 100644
--- a/src/lib/pagina.php
+++ b/src/lib/pagina.php
@@ -13,6 +13,10 @@ require_once 'lib/Usuario.php';
// 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');
@@ -31,6 +35,7 @@ function pagina_cabecera($titulo = '')
@@ -43,16 +48,25 @@ function pagina_pie($autor, $mail)
%s
', $msg);
}
+/// Mensajes de éxito
function ok($msg)
{
printf('%s
', $msg);
}
+/// print fácil para debug.
+function d($var)
+{
+ echo ''; var_dump($var); echo '
';
+}
+
+/// Verifica que el usuario esté logueado y si no lo está muestra login.
function pagina_check_login($redirect = true)
{
if (!@$_SESSION['user'])
--
2.43.0