From 0f64a0ae0dc88aeac963d58698b38ddbce5b9186 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 1 Jan 2013 10:57:35 -0600 Subject: [PATCH] fix handin server error on bad password --- collects/handin-server/main.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/handin-server/main.rkt b/collects/handin-server/main.rkt index 3505891b4f..53a11eeda8 100644 --- a/collects/handin-server/main.rkt +++ b/collects/handin-server/main.rkt @@ -526,8 +526,9 @@ (not (has-password? (a-ref data 'raw-password) (a-ref data 'password) - (cons (get-conf 'master-password) - (map car user-datas))))) + (let ([mp (get-conf 'master-password)] + [up (map car user-datas)]) + (if mp (cons mp up) up))))) (log-line "failed login: ~a" (a-ref data 'username/s)) (error* "bad username or password for ~a" (a-ref data 'username/s)))