Sorry friends, it was STILL not completely correct! :-(

On Mon, Oct 20, 2008 at 07:09:06AM +0200, Alexander Burger wrote:
> Fixed! I uploaded a new "testing" version.
> 
> Both effects were a result of the fact that 'pipe' did not write to the
> process' standard output as it should. Instead, it used the parent
> process' current output channel, causing the conflicts. Fixing that
> involved only inserting some output channel initialization.

It was still wrong when the child process nested another output channel.

But now I believe it is right. It is fixed in the latest "testing".

Cheers,
- Alex
-- 
UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe

Reply via email to