summaryrefslogtreecommitdiffstats
path: root/system/libraries
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2015-02-05 12:29:56 +0100
committerAndrey Andreev <narf@devilix.net>2015-02-05 12:29:56 +0100
commit395f92882afada9701ab2384772ce331ae9b3f9d (patch)
treee91ec26aad0880a75bde05e7d86399df4e0f6f59 /system/libraries
parent6d0ae773fe211df0eecb90e827e883610b8b23aa (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/libraries')
-rw-r--r--system/libraries/Session/Session.php3
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
)
{