X-Git-Url: https://git.llucax.com/z.facultad/75.43/tp1.git/blobdiff_plain/1481a58e991e9ed54d6cba23e82184eaca48f9fe..5efeba457ce2372a03e8eeae0a897e4116eedc49:/src/lib/pagina.php diff --git a/src/lib/pagina.php b/src/lib/pagina.php index 946ca87..658885d 100644 --- a/src/lib/pagina.php +++ b/src/lib/pagina.php @@ -8,8 +8,21 @@ // // $Id$ +require_once 'lib/Usuario.php'; + +// Arranca la sesión +session_start(); + +// Pongo que tire mucho errores +error_reporting(E_ALL); + +// Para que la fecha este en castellano +setlocale(LC_ALL, 'es_AR'); + +/// Cabecera de página (HTML y HTTP) function pagina_cabecera($titulo = '') { + header('Content-type: text/html; charset=ISO-8859-1'); ?> @@ -25,6 +38,7 @@ function pagina_cabecera($titulo = '') @@ -37,4 +51,34 @@ function pagina_pie($autor, $mail) %s
', $msg); +} + +/// Mensajes de éxito +function ok($msg) +{ + printf('%s
', $msg); +} + +/// print fácil para debug. +function d($var) +{ + echo ''; var_dump($var); echo ''; +} + +/// Verifica que el usuario esté logueado y si no lo está muestra login. +function pagina_check_login($redirect = true) +{ + if (!@$_SESSION['user']) + { + // Avisamos a donde hay que volver + if ($redirect) $_SESSION['login_redirect'] = basename($_SERVER['PHP_SELF']); + include 'admin.login.php'; // Mostramos el login + exit; + } +} + ?> \ No newline at end of file