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 1fbb194c009c9f3232fab1c0e0f1947b10f638b0..658885d88e8a380c4f6fdbad2162a078389c8284 100644 (file)
--- a/src/lib/pagina.php
+++ b/src/lib/pagina.php
@@ -12,10 +12,17 @@ require_once 'lib/Usuario.php';
  
  // Arranca la sesión
  session_start();
  
  // Arranca la sesión
  session_start();
-//TODO - verificar si existe el id y reconstruirlo
  
  
+// 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 = '')
  {
  function pagina_cabecera($titulo = '')
  {
+    header('Content-type: text/html; charset=ISO-8859-1');
  ?>
  <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
  
  ?>
  <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
  
@@ -31,6 +38,7 @@ function pagina_cabecera($titulo = '')
  <?php
  }
  
  <?php
  }
  
+/// Pie de página
  function pagina_pie($autor, $mail)
  {
  ?>
  function pagina_pie($autor, $mail)
  {
  ?>
@@ -43,14 +51,34 @@ function pagina_pie($autor, $mail)
  <?php
  }
  
  <?php
  }
  
+/// Mensajes de error
  function error($msg)
  {
      printf('<p style="color: red">%s</p>', $msg);
  }
  
  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);
  }
  
  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'])
+    {
+        // 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
  ?>
 \ No newline at end of file