Changeset 2547
- Timestamp:
- 09/14/08 14:10:34 (4 months ago)
- Files:
-
- 1 modified
-
trunk/htdocs/system/classes/site.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/htdocs/system/classes/site.php
r2426 r2547 135 135 } 136 136 $portpart= ''; 137 $host= $_SERVER['HTTP_HOST']; 137 // HTTP_HOST is not set for HTTP/1.0 requests 138 $host= (isset($_SERVER['HTTP_HOST']) ? $_SERVER['HTTP_HOST'] : $_SERVER['SERVER_NAME']); 138 139 // if the port isn't a standard port, and isn't part of $host already, add it 139 140 if ( ( $port != 80 ) && ( $port != 443 ) && ( substr($host, strlen($host) - strlen($port) ) != $port ) ) {
