diff --git a/resources/pdo.php b/resources/pdo.php index 5c20106f60..e018b14513 100644 --- a/resources/pdo.php +++ b/resources/pdo.php @@ -283,7 +283,7 @@ if ($db_type == "odbc") { } //end if db_type pgsql //get the domain list - if (!is_array($_SESSION['domains']) or !isset($_SESSION["domain_uuid"])) { + if (empty($_SESSION['domains']) or empty($_SESSION["domain_uuid"])) { //get the domain $domain_array = explode(":", $_SERVER["HTTP_HOST"] ?? '');