Bjoern Hoehrmann wrote:
The URLs are equivalent, if you send different Host headers, that's your choice, but it's neither required nor otherwise necessary. As an example Internet Explorer 6 will not send the default port in the Host header
For what it's worth, neither will Gecko. It will also not show it in the URL bar, etc. The URI object creation process performs various normalizations, and one of those is removing the port part if it's the default port for the protocol. So once you've gone from a string to a URI object in Gecko, only non-default ports are listed explicitly.
-Boris
