Merge pull request #1900 from hvenev/spec-ident-port

Restrict identifier port numbers to 5 digits.
pull/977/head
Richard van der Hoff 6 years ago committed by GitHub
commit 9edf2a3271
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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

Loading…
Cancel
Save