X-Git-Url: https://git.llucax.com/z.facultad/75.43/tp1.git/blobdiff_plain/f344e46f1369396bcef5170cbc3960d467338f55..7395bdec22090f1e16201fcbfe2fbc2f7ddf3706:/src/lib/pagina.php
diff --git a/src/lib/pagina.php b/src/lib/pagina.php
index fbfa8ca..e92b90a 100644
--- a/src/lib/pagina.php
+++ b/src/lib/pagina.php
@@ -8,11 +8,18 @@
//
// $Id$
+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');
?>
@@ -28,6 +35,7 @@ function pagina_cabecera($titulo = '')
@@ -40,9 +48,34 @@ 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'])
+ {
+ // Avisamos a donde hay que volver
+ if ($redirect) $_SESSION['login_redirect'] = basename($_SERVER['PHP_SELF']);
+ include 'admin.login.php'; // Mostramos el login
+ exit;
+ }
+}
+
?>
\ No newline at end of file