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)))))