suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

make log output correspond to what the user sees

Browse Source 
svn: r4350
This commit is contained in:
Eli Barzilay 2006-09-16 04:49:07 +00:00
parent 7fa381cace
commit 92c5debbc1
1 changed files with 13 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/handin-server/handin-server.ss
View File

@ -606,17 +606,19 @@
(let loop ([timed-out? #f])
(cond
[(sync/timeout 3 session-thread)
(LOG "session killed ~awhile ~s"
(if timed-out? "(timeout) " "")
(unbox status-box))
(let* ([status (unbox status-box)]
[status (if status
(format " while ~a" status)
"")])
(LOG "session killed ~a~a"
(if timed-out? "(timeout) " "(memory)")
status)
(write+flush
w (format "handin terminated due to ~a (program doesn't terminate?)~a"
(if timed-out? "time limit" "excessive memory use")
(if (unbox status-box)
(format " while ~a" (unbox status-box))
"")))
status))
(close-output-port w)
(channel-put session-channel 'done)]
(channel-put session-channel 'done))]
[(let ([t timeout]) ; grab value to avoid races
(and t ((current-inexact-milliseconds) . > . t)))
;; Shutdown here to get the handin-terminated error