Thanks! Those are definitely things to try. (I'm already catching SIGPIPE, but as I said I'm getting the signal "late".)

But you bring to mind the idea that maybe I need to turn off buffering of the output!