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