From 957943f162576405734fba026c34be6cb66f7bce Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 13 Sep 2005 00:38:04 +0000 Subject: [PATCH] encode paths in url strings svn: r845 --- .../handin-server/status-web-root/servlets/status.ss | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/collects/handin-server/status-web-root/servlets/status.ss b/collects/handin-server/status-web-root/servlets/status.ss index 9ae2367df3..374a0993e5 100644 --- a/collects/handin-server/status-web-root/servlets/status.ss +++ b/collects/handin-server/status-web-root/servlets/status.ss @@ -7,7 +7,8 @@ (lib "unitsig.ss") (lib "servlet-sig.ss" "web-server") (lib "response.ss" "web-server") - (lib "md5.ss" "handin-server")) + (lib "md5.ss" "handin-server") + (lib "uri-codec.ss" "net")) (provide status-servlet) @@ -59,9 +60,11 @@ (if (path? handin-dir) (path->string handin-dir) handin-dir) "/"))))) (define (make-k k tag) - (let ([tag (if (path? tag) (path->string tag) tag)]) - (format "~a~atag=~a" k (if (regexp-match #rx"^[^#]*[?]" k) "&" "?") - (regexp-replace handin-prefix-re tag "")))) + (format "~a~atag=~a" k (if (regexp-match #rx"^[^#]*[?]" k) "&" "?") + (uri-encode (regexp-replace + handin-prefix-re + (if (path? tag) (path->string tag) tag) + "")))) (define (select-k request) (let ([a (assq 'tag (request-bindings request))]) (and a (cdr a))))