From d044b06b274f4f066cf71219d76e4a68797114b7 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 13 Oct 2005 18:43:27 +0000 Subject: [PATCH] deal with eof a little better svn: r1071 --- collects/handin-server/handin-server.ss | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/collects/handin-server/handin-server.ss b/collects/handin-server/handin-server.ss index 5de9b913c9..9a4956b028 100644 --- a/collects/handin-server/handin-server.ss +++ b/collects/handin-server/handin-server.ss @@ -505,9 +505,11 @@ [(bye) #t] ; <- general disconnection ;; other messages require a login: valid users and a good password [else - (let ([usernames (a-ref data 'usernames)] - [user-datas (a-ref data 'user-datas)]) - (memq #f user-datas) + (when (eof-object? msg) + (LOG "hangup") + (error 'handin "hangup" (a-ref data 'username/s))) + (let ([usernames (a-ref data 'usernames #f)] + [user-datas (a-ref data 'user-datas #f)]) (when (or (memq #f user-datas) (not (has-password? (a-ref data 'raw-password)