diff --git a/collects/handin-server/status-web-root/servlets/status.ss b/collects/handin-server/status-web-root/servlets/status.ss index 7a89f1888b..4fc8d6659b 100644 --- a/collects/handin-server/status-web-root/servlets/status.ss +++ b/collects/handin-server/status-web-root/servlets/status.ss @@ -20,7 +20,7 @@ (get-preference (string->symbol user) (lambda () #f) #f users-file)))) (define (clean-str s) - (regexp-replace #rx" *$" (regexp-replace #rx"^ *" s "") "")) + (regexp-replace #rx" +$" (regexp-replace #rx"^ +" s "") "")) (define (aget alist key) (cond [(assq key alist) => cdr] [else #f]))