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 //TODO - verificar si existe el id y reconstruirlo
  16
  17 function pagina_cabecera($titulo = '')
  18 {
  19     header('Content-type: text/html; charset=ISO-8859-1');
  20 ?>
  21 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
  22
  23 <html lang="es">
  24     <head>
  25         <title>Grupos<?php echo $titulo ? " - $titulo" : '' ?></title>
  26         <script src="lib.js" type="text/javascript" language="JavaScript">
  27         </script>
  28     </head>
  29     <body>
  30         <h1>Grupos</h1>
  31         <?php if ($titulo) echo "<h2>$titulo</h2>\n" ?>
  32 <?php
  33 }
  34
  35 function pagina_pie($autor, $mail)
  36 {
  37 ?>
  38         <address>
  39             <span lang="en">Copyleft</span> 2005 - Grupo 10 (autor
  40             <a href="mailto:<?php echo $autor ?>"><?php echo $autor ?></a>)
  41         </address>
  42     </body>
  43 </html>
  44 <?php
  45 }
  46
  47 function error($msg)
  48 {
  49     printf('<p style="color: red">%s</p>', $msg);
  50 }
  51
  52 function ok($msg)
  53 {
  54     printf('<p style="color: green">%s</p>', $msg);
  55 }
  56
  57 function pagina_check_login($Origen = '')
  58 {
  59     if (!@$_SESSION['user'])
  60     {
  61         // Guarda la pagina desde donde es llamado el login, para despues redireccionarse a esa
  62                                 if ( $Origen != '' )
  63                                 {
  64                                  $_SESSION['origen'] = $Origen;
  65                                 }
  66                                 include 'admin.login.php';
  67         exit;
  68     }
  69 }
  70
  71 ?>