Al Goldstein Wed, 14 Jun 2000 20:32:23 -0700
On many hosts I get the error: Write failed flushing stdout buffer. write stdout: Broken pipe. Can this be explained without reference to a particular platform? Any tips on how to look for the problem? Or is it a bug?