diff --git a/resources/php.php b/resources/php.php index 5de0dd0f55..a42722b783 100644 --- a/resources/php.php +++ b/resources/php.php @@ -27,7 +27,7 @@ //session handling //start the session ini_set("session.cookie_httponly", True); - session_start(); + if (!isset($_SESSION)) { session_start(); } //regenerate sessions to avoid session id attacks such as session fixation if (array_key_exists('security',$_SESSION) and $_SESSION['security']['session_rotate']['boolean'] == "true") { $_SESSION['session']['last_activity'] = time(); @@ -58,4 +58,4 @@ unset($in); } -?> \ No newline at end of file +?>