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

svn: r3097 original commit: 8593839057d244ce79a797e8d2479b262fea99f4
2006-05-28 21:35:23 +00:00 · 2006-05-28 21:35:23 +00:00 · 001105ab70
commit 001105ab70
parent 102041d583
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