diff options
| -rw-r--r-- | inc/3rdparty/Session.class.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/inc/3rdparty/Session.class.php b/inc/3rdparty/Session.class.php index 4ee5d1da..da7a4353 100644 --- a/inc/3rdparty/Session.class.php +++ b/inc/3rdparty/Session.class.php | |||
| @@ -73,6 +73,9 @@ class Session | |||
| 73 | else { | 73 | else { |
| 74 | session_set_cookie_params('', $cookiedir, $_SERVER['HTTP_HOST'], $ssl, true); | 74 | session_set_cookie_params('', $cookiedir, $_SERVER['HTTP_HOST'], $ssl, true); |
| 75 | } | 75 | } |
| 76 | //set server side valid session timeout | ||
| 77 | //WARNING! this may not work in shared session environment. See http://www.php.net/manual/en/session.configuration.php#ini.session.gc-maxlifetime about min value: it can be set in any application | ||
| 78 | ini_set('session.gc_maxlifetime', self::$longSessionTimeout); | ||
| 76 | 79 | ||
| 77 | // Use cookies to store session. | 80 | // Use cookies to store session. |
| 78 | ini_set('session.use_cookies', 1); | 81 | ini_set('session.use_cookies', 1); |