Se loguean las actividades del usuario (intentos de login, login existoso, logout...

[z.facultad/75.43/tp1.git] / src / lib / pagina.php

diff --git a/src/lib/pagina.php b/src/lib/pagina.php
index 8df27be7f809fbb785d60e9f9e11a1d2a112fdac..658885d88e8a380c4f6fdbad2162a078389c8284 100644 (file)
--- a/src/lib/pagina.php
+++ b/src/lib/pagina.php
@@ -13,6 +13,13 @@ require_once 'lib/Usuario.php';
 // Arranca la sesión
 session_start();
 
+// Pongo que tire mucho errores
+error_reporting(E_ALL);
+
+// Para que la fecha este en castellano
+setlocale(LC_ALL, 'es_AR');
+
+/// Cabecera de página (HTML y HTTP)
 function pagina_cabecera($titulo = '')
 {
     header('Content-type: text/html; charset=ISO-8859-1');
@@ -31,6 +38,7 @@ function pagina_cabecera($titulo = '')
 <?php
 }
 
+/// Pie de página
 function pagina_pie($autor, $mail)
 {
 ?>
@@ -43,16 +51,25 @@ 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'])