diff options
| author | Andrey Andreev <narf@devilix.net> | 2015-02-05 12:29:56 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2015-02-05 12:29:56 +0100 |
| commit | 395f92882afada9701ab2384772ce331ae9b3f9d (patch) | |
| tree | e91ec26aad0880a75bde05e7d86399df4e0f6f59 /system | |
| parent | 6d0ae773fe211df0eecb90e827e883610b8b23aa (diff) | |
[ci skip] Fix a bug where session IDs are not regenerated
Reported via the forums: http://forum.codeigniter.com/thread-996.html
Diffstat (limited to 'system')
| -rw-r--r-- | system/libraries/Session/Session.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/system/libraries/Session/Session.php b/system/libraries/Session/Session.php index 2551e54e9..ba1919b44 100644 --- a/system/libraries/Session/Session.php +++ b/system/libraries/Session/Session.php @@ -143,8 +143,7 @@ class CI_Session { session_start(); // Is session ID auto-regeneration configured? (ignoring ajax requests) - if ( ! empty($_SERVER['HTTP_X_REQUESTED_WITH']) - && strtolower($_SERVER['HTTP_X_REQUESTED_WITH']) === 'xmlhttprequest' + if ((empty($_SERVER['HTTP_X_REQUESTED_WITH']) OR strtolower($_SERVER['HTTP_X_REQUESTED_WITH']) !== 'xmlhttprequest') && ($regenerate_time = config_item('sess_time_to_update')) > 0 ) { |