parse a port only if there are digits after the colon (see PR8060)

svn: r3097
2006-05-28 21:35:23 +00:00 · 2006-05-28 21:35:23 +00:00 · 8593839057
commit 8593839057
parent 28822a155d
1 changed files with 1 additions and 1 deletions
--- a/collects/net/url-unit.ss
+++ b/collects/net/url-unit.ss
@ -362,7 +362,7 @@
                 "//"
                 "(?:([^:/@;?#]*)@)?" ; =2  user-at-opt
                 "([^:/@;?#]*)?"      ; =3  host-opt
-                 "(?::([0-9]*))?"     ; =4  colon-port-opt
+                 "(?::([0-9]+))?"     ; =4  colon-port-opt
                 ")?"                 ; >B  slashslash-opt
                 ")?"                 ; >A  front-opt
                 "([^?#]*)"           ; =5  path