From b33455dc8e72acbeeb1ced654fbb715b563363e3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 10 Jan 2010 04:12:48 +0000 Subject: [PATCH] case-fold username in servlet when needed svn: r17591 --- collects/handin-server/web-status-server.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index e6c2af52b9..4abc65ddb2 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -230,6 +230,8 @@ [user (aget bindings 'user)] [passwd (aget bindings 'passwd)] [user (and user (clean-str user))] + [user (and user (if (get-conf 'username-case-sensitive) + user (string-foldcase user)))] [user-data (get-user-data user)]) (cond [(and user-data (string? passwd)