diff --git a/resources/php.php b/resources/php.php index a42722b783..210dac4882 100644 --- a/resources/php.php +++ b/resources/php.php @@ -27,7 +27,11 @@ //session handling //start the session ini_set("session.cookie_httponly", True); - if (!isset($_SESSION)) { session_start(); } + if (function_exists('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();