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 /// Cabecera de página (HTML y HTTP)
  20 function pagina_cabecera($titulo = '')
  21 {
  22     header('Content-type: text/html; charset=ISO-8859-1');
  23 ?>
  24 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
  25
  26 <html lang="es">
  27     <head>
  28         <title>Grupos<?php echo $titulo ? " - $titulo" : '' ?></title>
  29         <script src="lib.js" type="text/javascript" language="JavaScript">
  30         </script>
  31     </head>
  32     <body>
  33         <h1>Grupos</h1>
  34         <?php if ($titulo) echo "<h2>$titulo</h2>\n" ?>
  35 <?php
  36 }
  37
  38 /// Pie de página
  39 function pagina_pie($autor, $mail)
  40 {
  41 ?>
  42         <address>
  43             <span lang="en">Copyleft</span> 2005 - Grupo 10 (autor
  44             <a href="mailto:<?php echo $autor ?>"><?php echo $autor ?></a>)
  45         </address>
  46     </body>
  47 </html>
  48 <?php
  49 }
  50
  51 /// Mensajes de error
  52 function error($msg)
  53 {
  54     printf('<p style="color: red">%s</p>', $msg);
  55 }
  56
  57 /// Mensajes de éxito
  58 function ok($msg)
  59 {
  60     printf('<p style="color: green">%s</p>', $msg);
  61 }
  62
  63 /// print fácil para debug.
  64 function d($var)
  65 {
  66     echo '<pre>'; var_dump($var); echo '</pre>';
  67 }
  68
  69 /// Verifica que el usuario esté logueado y si no lo está muestra login.
  70 function pagina_check_login($redirect = true)
  71 {
  72     if (!@$_SESSION['user'])
  73     {
  74         // Avisamos a donde hay que volver
  75         if ($redirect) $_SESSION['login_redirect'] = basename($_SERVER['PHP_SELF']);
  76         include 'admin.login.php'; // Mostramos el login
  77         exit;
  78     }
  79 }
  80
  81 ?>