From 6bb96f95b05238d39307da49bbc2883ce74ad010 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 24 Sep 2008 20:14:56 +0000 Subject: [PATCH] minor svn: r11859 --- collects/handin-server/checker.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/handin-server/checker.ss b/collects/handin-server/checker.ss index b9337a2b05..38265ff6e5 100644 --- a/collects/handin-server/checker.ss +++ b/collects/handin-server/checker.ss @@ -183,7 +183,7 @@ (input-port->text-input-port (open-input-text-editor defs 0 'end snip->text)) (open-input-text-editor defs))] - [current-output-port (open-output-string)]) + [current-output-port (open-output-bytes)]) (input->process->output maxwidth textualize? untabify? bad-re) (get-output-bytes (current-output-port)))))