From 99dba452fc411e5184cd3bae7674a91cb7572266 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 7 Oct 2009 05:36:00 +0000 Subject: [PATCH] check that the user field is actually there svn: r16264 --- collects/handin-server/web-status-server.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index b367a298ed..edc2416f10 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -26,8 +26,8 @@ (unless (file-exists? users-file) (log-line "WARNING: users file missing on startup: ~a" users-file)) (lambda (user) - (get-preference (string->symbol user) (lambda () #f) 'timestamp - users-file)))) + (and user (get-preference (string->symbol user) (lambda () #f) 'timestamp + users-file))))) (define (relativize-path p) (path->string (find-relative-path (normalize-path server-dir) p)))