From 96a0355d1d54345a99aa39e1495796bcba0378e1 Mon Sep 17 00:00:00 2001 From: frytimo Date: Fri, 14 Nov 2025 18:25:41 -0400 Subject: [PATCH] Fix domain name with port number from device (#7606) --- app/provision/index.php | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/app/provision/index.php b/app/provision/index.php index d60a33d199..fd5142f391 100644 --- a/app/provision/index.php +++ b/app/provision/index.php @@ -180,6 +180,13 @@ //get http_domain_filter from global settings only (can't be used per domain) $domain_filter = (new settings(['database' => $database]))->get('provision', 'http_domain_filter', true); +//check for domain name with a port number at the end + $domain_name = $_SERVER['HTTP_HOST']; + if (str_contains($domain_name, ':')) { + $domain_array = explode(":", $domain_name); + $domain_name = $domain_array[0]; + } + //get the domain_uuid, domain_name, device_name and device_vendor $sql = "select d.device_uuid, d.domain_uuid, d.device_vendor, n.domain_name "; $sql .= "from v_devices as d, v_domains as n ";