On 26/5/09 14:45, Wolfgang Orthuber wrote:
[...]
Though different HTTP URIs always refer to different addresses
Where do you get this from?
Do you mean "though different HTTP URIs are different URIs"?
http://example.com:80/foo
and
http://EXAMple.COM/foo
...both address (or fail to address) the same thing.
If you want to consider these different "addresses" (for potentially the
same thing), you're welcome. But the rules of HTTP URIs mean that
there's nothing named (addressed) by the one but not by the other.
Domain names are case insensitive, and HTTP URIs default to port 80.
There are other situations where we might say a pair of HTTP URIs happen
accidentally (perhaps for a while, perhaps forever) to be for the same
underlying thing. But the example above is one in which they simply are
different ways of writing the same thing.
cheers,
Dan