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
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();
/// 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">
projects / z.facultad / 75.43 / tp1.git / commitdiff