Changeset 2800
- Timestamp:
- 11/12/08 00:58:11 (2 months ago)
- Files:
-
- 1 modified
-
branches/sginput/htdocs/system/classes/site.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
branches/sginput/htdocs/system/classes/site.php
r2592 r2800 132 132 $port = 80; // Default in case not set. 133 133 if ( isset( $_SERVER['SERVER_PORT'] ) ) { 134 $port = $_SERVER['SERVER_PORT'];134 $port = (string) $_SERVER['SERVER_PORT']; 135 135 } 136 136 $portpart = '';
