Works like a charm. Now the errors are clearly mine. Aargh!<br><br><div class="gmail_quote">On Thu, May 19, 2011 at 5:52 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">I've pushed a fix for the next release. In the meantime, here's a diff<br>
that should do the same for you.<br>
<br>
Thanks,<br>
Robby<br>
<br>
diff --git a/collects/planet/private/planet-shared.rkt<br>
b/collects/planet/private/planet-shared.rkt<br>
index 1b0e5add..5d3e3f2 100644<br>
--- a/collects/planet/private/planet-shared.rkt<br>
+++ b/collects/planet/private/planet-shared.rkt<br>
@@ -521,7 +521,7 @@ Various common pieces of code that both the client<br>
and server need to access<br>
(display l outport)<br>
(newline outport)<br>
(flush-output outport))<br>
- (planet-log l)<br>
+ (planet-log "~a" l)<br>
(loop)]))))))<br>
(begin0<br>
(parameterize ([current-output-port out])<br></blockquote></div><br>