On Sat, Dec 08, 2007 at 04:13:19PM -0800, Jeff Younker wrote:
> Pipes and IO channels are buffered. The buffers are much larger than
> the amount of information you are writing to them, so they're never getting
> flushed while the program is running. The child program completes, the
> IO channe
Pipes and IO channels are buffered. The buffers are much larger than
the amount of information you are writing to them, so they're never
getting
flushed while the program is running. The child program completes, the
IO channel closes, and it flushes out the output.
My advice is to forget abo
