From 2d28276c47e113ec2b3594b7bbd00cdeffb99682 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 28 Apr 2011 07:34:03 -0500
Subject: [PATCH] added newlines to planet's log

---
 collects/planet/private/planet-shared.rkt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/collects/planet/private/planet-shared.rkt b/collects/planet/private/planet-shared.rkt
index dbed9bd4aa..4d52048cad 100644
--- a/collects/planet/private/planet-shared.rkt
+++ b/collects/planet/private/planet-shared.rkt
@@ -517,7 +517,10 @@ Various common pieces of code that both the client and server need to access
                   (close-input-port in) 
                   (when outport (close-output-port outport))]
                  [else
-                  (when outport (display l outport))
+                  (when outport 
+                    (display l outport)
+                    (newline outport)
+                    (flush-output outport))
                   (planet-log l)
                   (loop)]))))))
       (begin0