From dec1a83e0d98c1a0ef5804db6dec7ca3855bb303 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 12 Sep 2013 06:50:34 -0600 Subject: [PATCH] distro-build/download-page: strip "{...}" anywhere, not just at start --- pkgs/distro-build/download-page.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/distro-build/download-page.rkt b/pkgs/distro-build/download-page.rkt index eac6dad25f..fe52113306 100644 --- a/pkgs/distro-build/download-page.rkt +++ b/pkgs/distro-build/download-page.rkt @@ -64,7 +64,7 @@ (define sorted-and-split (map (lambda (s) (map (lambda (e) - (regexp-replace* #rx"^ *{[^}]*} *" + (regexp-replace* #rx" *{[^}]*} *" e "")) (regexp-split #rx" *[|] *" s)))