aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorplg <plg@s04>2016-02-10 15:19:40 +0100
committerplg <plg@s04>2016-02-10 15:19:40 +0100
commit08fe998dd10fbf3fe79e8722df891b9496228b4a (patch)
treedc96d3aec9e8f1daf2a9413b0ecbba369754fd39
parent0909717c37cdf2ddadcddaf92d610f5243ec3c17 (diff)
session_regenerate_id() still fails with PHP 7.0.3
fix indentation
-rw-r--r--include/functions_user.inc.php8
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
{