diff options
author | plg <plg@s04> | 2016-02-10 15:19:40 +0100 |
---|---|---|
committer | plg <plg@s04> | 2016-02-10 15:19:40 +0100 |
commit | 08fe998dd10fbf3fe79e8722df891b9496228b4a (patch) | |
tree | dc96d3aec9e8f1daf2a9413b0ecbba369754fd39 /include/functions_user.inc.php | |
parent | 0909717c37cdf2ddadcddaf92d610f5243ec3c17 (diff) |
session_regenerate_id() still fails with PHP 7.0.3
fix indentation
Diffstat (limited to '')
-rw-r--r-- | include/functions_user.inc.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/include/functions_user.inc.php b/include/functions_user.inc.php index f0d30ea49..2591929b4 100644 --- a/include/functions_user.inc.php +++ b/include/functions_user.inc.php @@ -948,10 +948,10 @@ function log_user($user_id, $remember_me) if ( session_id()!="" ) { // we regenerate the session for security reasons // see http://www.acros.si/papers/session_fixation.pdf - if ((version_compare(PHP_VERSION, '7') <= 0 or version_compare(PHP_VERSION, '7.0.3') >= 0)) - { - session_regenerate_id(true); - } + if (version_compare(PHP_VERSION, '7') <= 0) + { + session_regenerate_id(true); + } } else { |