[PATCH] stdio buffer flushing on redirection

2007-12-30 Thread Tom Alsberg
em in a more portable manner, but I suspect that may require more substantial modifications to parts of the code. Cheers, -- Tom -- Tom Alsberg - hacker (being the best description fitting this space) Web page: http://www.cs.huji.ac.il/~alsbergt/ DISCLAIMER: The above message does no

Re: stdio buffer flushing on redirection

2008-01-06 Thread Tom Alsberg
, let me know. Thanks, -- Tom On Sun, Dec 30, 2007 at 05:28:21PM +0200, Tom Alsberg wrote: Hi there. A curious issue I had with a shell script writes output to a pipe, turns out (after quite a while of investigation, and noticing that it works on systems where /bin/sh is not bash) to be due to