10
     11 // check if the current port is not 80 or 443
     12 if (isset($_SERVER['SERVER_PORT'])) {
     13         if (($_SERVER['SERVER_PORT'] != 80) && ($_SERVER['SERVER_PORT'] != 443)) {
     14                 if (( isset($_SERVER['HTTPS']) && $_SERVER['HTTPS'] == 'on' )) {
     15                         $prefs['https_port'] = (int) $_SERVER['SERVER_PORT'];
     16                 } else {
     17                         $prefs['http_port'] = (int) $_SERVER['SERVER_PORT'];
     18                 }
     19         }
     20 }
     21
     22 if ( $prefs['https_port'] == 443 ) {
     23         $prefs['https_port'] = '';
     24         } else {
     25                 $prefs['http_port'] = '';
     26         }
     27
     28
     29 // if ( $prefs['http_port'] == 80 )
     30 //      $prefs['http_port'] = '';
     31
     32 // Detect if we are in HTTPS / SSL mode.