diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index 4abc65ddb2..f34fab03b1 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -233,6 +233,7 @@ [user (and user (if (get-conf 'username-case-sensitive) user (string-foldcase user)))] [user-data (get-user-data user)]) + (redirect/get) (cond [(and user-data (string? passwd) (let ([pw (md5 passwd)])