From 778bf7c09f749fa3efb39902fd2a04ea2324dacd Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 25 Jul 2003 16:33:46 +0000 Subject: [PATCH] . original commit: 075feaca75add12feaada944cf2b23e2c58de02d --- collects/net/url-unit.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/net/url-unit.ss b/collects/net/url-unit.ss index f762837..40ec6f1 100644 --- a/collects/net/url-unit.ss +++ b/collects/net/url-unit.ss @@ -498,7 +498,8 @@ (define (decode-some-url-parts url) (let ([uri-decode/maybe (lambda (f) - (and f (uri-decode f)))]) + ;; If #f, and leave unmolested any % that in't followed by hex digit + (and f (uri-decode (regexp-replace* "%([^0-9a-fA-F])" f "%25\\1"))))]) (make-url/user (uri-decode/maybe (url-scheme url)) (uri-decode/maybe (url-host url)) (uri-decode/maybe (url-port url))