[plt-dev] DrDr getting output

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Mon May 10 13:47:55 EDT 2010

If you look at pages like


You'll see that DrDr often messes up the output from processes
relative to the ordering of stdout and stderr.

I've rewritten that part of the code a little:


and added a test case


I can't get it to get the output as expected, because of weird
buffering or something issues. Can anyone think of something I haven't

(An obvious guess is file-stream-buffer-mode, but that can't be used
in 'line mode on input ports.)


Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the dev mailing list.