You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This comes from the fact that ports are parsed with int. This leads to the following unintuitive consequences:
Whitespace, including all of (' ', '\t', '\v', '\r', '\n') (plus a bunch of unicode whitespace) will be stripped and from either side of the port number.
'-' or '+' can appear just before the first digit in the port number
'_' can appear between digits in the port number
Some unicode digits, such as '໑' can appear in port numbers
All of this violates both the RFC and the WHATWG standard.
The text was updated successfully, but these errors were encountered:
The port number in the following URL is clearly malformed, but Hyperlink does this:
This comes from the fact that ports are parsed with
int
. This leads to the following unintuitive consequences:(' ', '\t', '\v', '\r', '\n')
(plus a bunch of unicode whitespace) will be stripped and from either side of the port number.'-'
or'+'
can appear just before the first digit in the port number'_'
can appear between digits in the port number'໑'
can appear in port numbersAll of this violates both the RFC and the WHATWG standard.
The text was updated successfully, but these errors were encountered: