add isset($_SESSION) for php5 compatibility

public_html/deployment/classes/user.class.php

@@ -58,7 +58,7 @@ class user {
      */
     private function _autoDetectUser(){
         $sUser=false;
-        if (is_array($_SESSION) && array_key_exists("PHP_AUTH_USER", $_SESSION)){
+        if (isset($_SESSION) && is_array($_SESSION) && array_key_exists("PHP_AUTH_USER", $_SESSION)){
             $sUser=$_SESSION["PHP_AUTH_USER"];
         }
         if (!$sUser && is_array($_SERVER) && array_key_exists("PHP_AUTH_USER", $_SERVER)){