diff options
| author | 2014-08-10 23:41:36 +0200 | |
|---|---|---|
| committer | 2014-08-10 23:41:36 +0200 | |
| commit | df47217839ccddb8e03015959c61b61e748d9700 (patch) | |
| tree | 1b80b693e0d7190316656095937dbac4821edadc /lib/Minz/Session.php | |
| parent | 086bb8df35cf3d9b4de50b7e549f8abbff55635b (diff) | |
Set session.gc_maxlifetime
Take the maxvalue between 1440 (24m) and cookie lifetime when calling
Minz_Session::keepCookie()
See https://github.com/marienfressinaud/FreshRSS/issues/465
Diffstat (limited to 'lib/Minz/Session.php')
| -rw-r--r-- | lib/Minz/Session.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Minz/Session.php b/lib/Minz/Session.php index c859be2ed..fb3c5d74b 100644 --- a/lib/Minz/Session.php +++ b/lib/Minz/Session.php @@ -82,6 +82,9 @@ class Minz_Session { ) . '/'; session_set_cookie_params($l, $cookie_dir, $_SERVER['HTTP_HOST'], false, true); + + $l_session = max(1440, $l); + ini_set('session.gc_maxlifetime', $l_session); } |
