Re: stdio buffer flushing on redirection

2008-01-06 Thread Chet Ramey
Tom Alsberg wrote: > Given the recent storm of applied patches from the list, I was > wondering if anybody had the time to look at this one. Does it do the > trick? Is the bug at all reproducible (with the script I quoted) > elsewhere? If there is anything that should be changed in it, or > inhi

Re: stdio buffer flushing on redirection

2008-01-06 Thread Eric Blake
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 According to Tom Alsberg on 1/6/2008 4:30 AM: | Given the recent storm of applied patches from the list, I was | wondering if anybody had the time to look at this one. Does it do the | trick? Is the bug at all reproducible (with the script I quoted)

Re: stdio buffer flushing on redirection

2008-01-06 Thread Tom Alsberg
Given the recent storm of applied patches from the list, I was wondering if anybody had the time to look at this one. Does it do the trick? Is the bug at all reproducible (with the script I quoted) elsewhere? If there is anything that should be changed in it, or inhibiting it from getting in, l

[PATCH] stdio buffer flushing on redirection

2007-12-30 Thread Tom Alsberg
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 the way bash writes output on redirection. Some bash builtins (e.g. echo) write output u