From b98db8aecb42f52d8e609eedf46b0ae2b053c8d4 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Sun, 18 Jan 2009 21:52:35 +0000
Subject: [PATCH] redudnant space

svn: r13205
---
 collects/handin-server/main.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/handin-server/main.ss b/collects/handin-server/main.ss
index 55291a7012..2bc8ef0672 100644
--- a/collects/handin-server/main.ss
+++ b/collects/handin-server/main.ss
@@ -558,7 +558,7 @@
              (let* ([status (unbox status-box)]
                     [status (if status (format " while ~a" status) "")])
                (log-line "session killed ~a~a"
-                         (if timed-out? "(timeout) " "(memory)")
+                         (if timed-out? "(timeout)" "(memory)")
                          status)
                (write+flush
                 w (format "handin terminated due to ~a ~a~a"