Changeset 2800

Show
Ignore:
Timestamp:
11/12/08 00:58:11 (2 months ago)
Author:
sean
Message:

cast port to string for comparison (can't compare an object to an int, and PHP doesn't toString() it)

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • branches/sginput/htdocs/system/classes/site.php

    r2592 r2800  
    132132                $port = 80; // Default in case not set. 
    133133                if ( isset( $_SERVER['SERVER_PORT'] ) ) { 
    134                     $port = $_SERVER['SERVER_PORT']; 
     134                    $port = (string) $_SERVER['SERVER_PORT']; 
    135135                } 
    136136                $portpart = '';