Anders Melchiorsen [off-list ref] writes:
Normally, stdout is fully buffered, unless it refers to a terminal
device. This gives problems when fork() is in play: the buffer is
cloned and output appears twice.
I thought we have been careful to flush() them before we fork but perhaps
there are recent changes that were not careful. Wouldn't it be better to
fix them first, independent of this change?