]> git.llucax.com Git - z.facultad/75.43/tp1.git/commitdiff
Se hace que se recupere la sesión.
authorLeandro Lucarella <llucax@gmail.com>
Sat, 7 May 2005 20:46:18 +0000 (20:46 +0000)
committerLeandro Lucarella <llucax@gmail.com>
Sat, 7 May 2005 20:46:18 +0000 (20:46 +0000)
src/index.php
src/lib/pagina.php

index 9d474416edef27a9f2520ba57581a5e2bf8be415..2daf29f5632c7c5cafa6027ca06a8642ad44c8a1 100644 (file)
@@ -13,11 +13,23 @@ require_once 'lib/Usuario.php';
 
 if (Usuario::checkAdmins()) // Están todos los admins
 {
 
 if (Usuario::checkAdmins()) // Están todos los admins
 {
-    include 'admin.login.php'; // Login
+    // Si estamos logueados...
+    if (isset($_SESSION['user']))
+    {
+        // Evitamos un caso extremo de recursión.
+        if ($_SESSION['last_page'] == 'index.php')
+            $_SESSION['last_page'] = 'admin.log.php';
+        // Volvemos a la página en la que dejamos.
+        include_once $_SESSION['last_page'];
+    }
+    else // Si no estamos logueados...
+    {
+        include_once 'admin.login.php'; // Login.
+    }
 }
 }
-else // Faltan admins
+else // Faltan admins.
 {
 {
-    include 'admin.asociarse.php'; // Asociar admin
+    include_once 'admin.asociarse.php'; // Asociar admin.
 }
 
 ?>
\ No newline at end of file
 }
 
 ?>
\ No newline at end of file
index 4ef88668cec35b3cc493f6da157ca98c46321f8f..f97036e609b4583325f230405ae33e80c35e8077 100644 (file)
 
 require_once 'lib/Usuario.php';
 
 
 require_once 'lib/Usuario.php';
 
+// Configuración de la sesión.
+ini_set('session.gc_maxlifetime', 86400); // Que el GC no la limpie por 24hs
+//ini_set('session.use_only_cookies', 1); // Para mayor seguridad
+session_set_cookie_params(1800); // La sesión vence en 30 minutos
+
 // Arranca la sesión
 session_start();
 
 // Arranca la sesión
 session_start();
 
@@ -22,6 +27,8 @@ setlocale(LC_ALL, 'es_AR');
 /// Cabecera de página
 function pagina_cabecera($titulo = '')
 {
 /// Cabecera de página
 function pagina_cabecera($titulo = '')
 {
+    // Guarda esta como la última página visitada.
+    $_SESSION['last_page'] = basename($_SERVER['PHP_SELF']);
 ?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 
 ?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">