From 21058cdb471cb515e49b1a8a5c4fb3e0718d7a74 Mon Sep 17 00:00:00 2001 From: Friendika Date: Mon, 25 Jul 2011 15:43:28 -0700 Subject: [PATCH] provide ability to use different port --- boot.php | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/boot.php b/boot.php index e8dccd5f3..a72fbf673 100644 --- a/boot.php +++ b/boot.php @@ -1,6 +1,6 @@ hostname = $_SERVER['SERVER_NAME']; - + if(x($_SERVER,'SERVER_PORT') && $_SERVER['SERVER_PORT'] != 80 && $_SERVER['SERVER_PORT'] != 443) + $this->hostname .= ':' . $_SERVER['SERVER_PORT']; /** * Figure out if we are running at the top of a domain * or in a sub-directory and adjust accordingly