case-fold username in servlet when needed

svn: r17591
2010-01-10 04:12:48 +00:00 · 2010-01-10 04:12:48 +00:00 · b33455dc8e
commit b33455dc8e
parent 58e6d2426a
1 changed files with 2 additions and 0 deletions
--- 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)