Restrict identifier port numbers to 5 digits.

This commit is contained in:
Hristo Venev 2019-02-21 21:27:21 +00:00
parent 621437b0c5
commit e825224b5b

View file

@ -34,7 +34,7 @@ following grammar::
server_name = hostname [ ":" port ] server_name = hostname [ ":" port ]
port = *DIGIT port = 1*5DIGIT
hostname = IPv4address / "[" IPv6address "]" / dns-name hostname = IPv4address / "[" IPv6address "]" / dns-name