On 6/11/13 11:42 PM, Walter Bright wrote:
I think you meant "just flush once after using the FILE * for the first time"I think it's a bad idea, it'll muck up the buffering (i.e. make it slower). The fix is when main() returns to do the flush there.
I agree. One question is, should we flush all buffers upon termination? fflush(null) would do so. http://www.gnu.org/software/libc/manual/html_node/Flushing-Buffers.html
Andrei