From 898a9cdb1c00bee5c54c9cf1307a637e28749054 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Fri, 17 Mar 2006 05:21:03 +0100 Subject: [PATCH] new option: SESSION_EXPIRE_TIME --- config.php-dist | 6 +++++- sessions.php | 2 +- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/config.php-dist b/config.php-dist index 76c7052b..d141b1d0 100644 --- a/config.php-dist +++ b/config.php-dist @@ -113,6 +113,10 @@ define('SESSION_COOKIE_LIFETIME_REMEMBER', 86400); // Session cookie lifetime if "remember me" is checked on login. - + + define('SESSION_EXPIRE_TIME', 86400); + // Hard expiration limit for sessions. Should be + // >= SESSION_COOKIE_LIFETIME_REMEMBER + // vim:ft=php ?> diff --git a/sessions.php b/sessions.php index 8d46f3f5..5b4da3a8 100644 --- a/sessions.php +++ b/sessions.php @@ -4,7 +4,7 @@ require_once "config.php"; require_once "db.php"; - $session_expire = 3600; //seconds + $session_expire = SESSION_EXPIRE_TIME; //seconds ini_set("session.gc_probability", 50); ini_set("session.name", "ttrss_sid"); -- 2.39.5