added newlines to planet's log

2011-04-28 07:34:03 -05:00 · 2011-04-28 07:34:03 -05:00 · 2d28276c47
commit 2d28276c47
parent 64ba1f2fa4
1 changed files with 4 additions and 1 deletions
--- 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