Typically in a web domain a port is a part of the host authority and indicated via a : followed by a number. However due to the way we're currently parsing a resource path we're using the : which maps to a / and changes the resource path. This leaves no way for a port to be specified with the did:web URI. Is this an expected feature or something that's just been overlooked.
@OR13 @dmitrizagidulin @dlongley @rhiaro I'd think you all may have an opinion on this.
Typically in a web domain a port is a part of the host authority and indicated via a
:
followed by a number. However due to the way we're currently parsing a resource path we're using the:
which maps to a/
and changes the resource path. This leaves no way for a port to be specified with the did:web URI. Is this an expected feature or something that's just been overlooked.@OR13 @dmitrizagidulin @dlongley @rhiaro I'd think you all may have an opinion on this.