src/lib/pagina.php

   1 <?php
   2 // vim: set binary noeol et sw=4 sts=4 :
   3 // Grupo 10
   4 //
   5 // Lucarella, Schein, Arena
   6 //
   7 // Creado: Leandro Lucarella (sáb abr 30 20:21:30 ART 2005)
   8 //
   9 // $Id$
  10
  11 require_once 'lib/Usuario.php';
  12
  13 // Arranca la sesión
  14 session_start();
  15
  16 // Pongo que tire mucho errores
  17 error_reporting(E_ALL);
  18
  19 // Para que la fecha este en castellano
  20 setlocale(LC_ALL, 'es_AR');
  21
  22 /// Cabecera de página (HTML y HTTP)
  23 function pagina_cabecera($titulo = '')
  24 {
  25     header('Content-type: text/html; charset=ISO-8859-1');
  26 ?>
  27 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
  28
  29 <html lang="es">
  30     <head>
  31         <title>Grupos<?php echo $titulo ? " - $titulo" : '' ?></title>
  32         <script src="lib.js" type="text/javascript" language="JavaScript">
  33         </script>
  34     </head>
  35     <body>
  36         <h1>Grupos</h1>
  37         <?php if ($titulo) echo "<h2>$titulo</h2>\n" ?>
  38 <?php
  39 }
  40
  41 /// Pie de página
  42 function pagina_pie($autor, $mail)
  43 {
  44 ?>
  45         <address>
  46             <span lang="en">Copyleft</span> 2005 - Grupo 10 (autor
  47             <a href="mailto:<?php echo $autor ?>"><?php echo $autor ?></a>)
  48         </address>
  49     </body>
  50 </html>
  51 <?php
  52 }
  53
  54 /// Mensajes de error
  55 function error($msg)
  56 {
  57     printf('<p style="color: red">%s</p>', $msg);
  58 }
  59
  60 /// Mensajes de éxito
  61 function ok($msg)
  62 {
  63     printf('<p style="color: green">%s</p>', $msg);
  64 }
  65
  66 /// print fácil para debug.
  67 function d($var)
  68 {
  69     echo '<pre>'; var_dump($var); echo '</pre>';
  70 }
  71
  72 /// Verifica que el usuario esté logueado y si no lo está muestra login.
  73 function pagina_check_login($redirect = true)
  74 {
  75     if (!@$_SESSION['user'])
  76     {
  77         // Avisamos a donde hay que volver
  78         if ($redirect) $_SESSION['login_redirect'] = basename($_SERVER['PHP_SELF']);
  79         include 'admin.login.php'; // Mostramos el login
  80         exit;
  81     }
  82 }
  83
  84 ?>