From 8593839057d244ce79a797e8d2479b262fea99f4 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 28 May 2006 21:35:23 +0000 Subject: [PATCH] parse a port only if there are digits after the colon (see PR8060) svn: r3097 --- collects/net/url-unit.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/net/url-unit.ss b/collects/net/url-unit.ss index b69b04b0a3..1159b630e4 100644 --- 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