Adding SERVER_PORT to bootstrap.cgi's

[Flaherty, Patrick]

Would there be any opposition to adding SERVER_PORT to the bootstrap.cgi
files? Is there a place to file a feature request?

Example:
 my $server_name = $ENV{"SERVER_NAME"} || "linux.dell.com";

Might become:
 my $server_name = $ENV{"SERVER_NAME"}  || "linux.dell.com";
 if ($ENV{"SERVER_PORT"} != 80 ) { 
  $server_name .= ":" . $ENV{"SERVER_PORT"};
 }

Best
Patrick