Files
Edward Thomson eebaa36f73 url: track whether url explicitly specified a port
When parsing URLs, track whether the port number was explicitly
specified or not. We track this separately from whether the port is the
_default_ port. This is so that we can discern between URLs that have
the default port explicitly specified or not.

For example: scp://host:22/foo and scp://host/foo are equivalent in
terms of functionality, but are not semantically equivalent.

A user might wish to specify scp://host:22/foo in order to explicitly
ensure that we connect on port 22, which might override (for example) a
different configuration option.
2024-07-11 11:13:20 +01:00
..
2023-08-01 14:12:01 +01:00
2023-05-13 16:42:04 +01:00
2022-06-16 14:37:40 -04:00
2023-05-13 16:42:04 +01:00
2022-06-16 14:37:40 -04:00