Se agrega lib para manejar el archivo de log. Se usa un archivo de log por

[z.facultad/75.43/tp1.git] / src / lib / pagina.php
diff --git a/src/lib/pagina.php b/src/lib/pagina.php

index 1fbb194c009c9f3232fab1c0e0f1947b10f638b0..22ba7f4250f75f11b111b19dfc06ae7aeae3c424 100644 (file)
--- a/src/lib/pagina.php
+++ b/src/lib/pagina.php
@@ -16,6 +16,7 @@ session_start();
  
  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">
  
@@ -53,4 +54,13 @@ function ok($msg)
      printf('<p style="color: green">%s</p>', $msg);
  }
  
      printf('<p style="color: green">%s</p>', $msg);
  }
  
+function pagina_check_login()
+{
+    if (!@$_SESSION['user'])
+    {
+        include 'admin.login.php';
+        exit;
+    }
+}
+
  ?>
 \ No newline at end of file
  ?>
 \ No newline at end of file