php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make it possible to run on different ports then 80 (patch by zoe@)

Browse Source
This commit is contained in:
Hannes Magnusson
2009-02-03 17:01:57 +00:00
parent defe3cbf71
commit 255fc99512
1 changed files with 13 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
include/site.inc
View File

@@ -308,7 +308,13 @@ function fetch_header($url, $header) {
// This should be the main name of the mirror (in case
// it works under more then one name). SERVER_NAME is
// the name of the Apache vhost.
$MYSITE = 'http://' . $_SERVER["SERVER_NAME"] . '/';
if($_SERVER["SERVER_PORT"] != '80') {
$MYSITE = 'http://' . $_SERVER["SERVER_NAME"] . ':' . (int)$_SERVER["SERVER_PORT"] . '/';
} else {
$MYSITE = 'http://' . $_SERVER["SERVER_NAME"] . '/';
}
// If this site does not exist
if (!isset($MIRRORS[$MYSITE])) {
@@ -316,8 +322,12 @@ if (!isset($MIRRORS[$MYSITE])) {
// Try the hostname [without www]. In case the main name above is
// not found, we try to find the mirror with the name provided by
// the browser (in the Host HTTP header).
$MYSITE = 'http://' . preg_replace("!^www\\.!", "", $_SERVER["SERVER_NAME"]) . '/';
if($_SERVER["SERVER_PORT"] != '80') {
$MYSITE = 'http://' . preg_replace("!^www\\.!", "", $_SERVER["SERVER_NAME"]) . ':' . (int)$_SERVER["SERVER_PORT"] . '/';
} else {
$MYSITE = 'http://' . preg_replace("!^www\\.!", "", $_SERVER["SERVER_NAME"]) . '/';
}
// If the mirror is not registered with this name, provide defaults
// (no country code, no search, no stats, English default language ...)
if (!isset($MIRRORS[$MYSITE])) {