diff options
author | Nicolas LÅ“uillet <nicolas@loeuillet.org> | 2014-03-18 21:29:58 +0100 |
---|---|---|
committer | Nicolas LÅ“uillet <nicolas@loeuillet.org> | 2014-03-18 21:29:58 +0100 |
commit | db41c907aabe6700942d3f68167ef92ffec6c66b (patch) | |
tree | 30134392b8aa5c1c7f7ab1b4dce372ee2d2e5c2f /inc/3rdparty/Session.class.php | |
parent | a7048bc45d63710b2e550b4ad467bd91e75c7acf (diff) | |
parent | 2a97194253cf128aa5fb6e608f0831efbe0dc9bf (diff) | |
download | wallabag-db41c907aabe6700942d3f68167ef92ffec6c66b.tar.gz wallabag-db41c907aabe6700942d3f68167ef92ffec6c66b.tar.zst wallabag-db41c907aabe6700942d3f68167ef92ffec6c66b.zip |
Merge pull request #572 from mariroz/fix-session-livetime
fix of #115, server relater config value added
Diffstat (limited to 'inc/3rdparty/Session.class.php')
-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); |