redudnant space
svn: r13205
This commit is contained in:
parent
f486051cd9
commit
b98db8aecb
|
@ -558,7 +558,7 @@
|
||||||
(let* ([status (unbox status-box)]
|
(let* ([status (unbox status-box)]
|
||||||
[status (if status (format " while ~a" status) "")])
|
[status (if status (format " while ~a" status) "")])
|
||||||
(log-line "session killed ~a~a"
|
(log-line "session killed ~a~a"
|
||||||
(if timed-out? "(timeout) " "(memory)")
|
(if timed-out? "(timeout)" "(memory)")
|
||||||
status)
|
status)
|
||||||
(write+flush
|
(write+flush
|
||||||
w (format "handin terminated due to ~a ~a~a"
|
w (format "handin terminated due to ~a ~a~a"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user