]> git.llucax.com Git - software/dgc/cdgc.git/commit
Avoid output duplication because of FILE* buffers
authorLeandro Lucarella <llucax@gmail.com>
Mon, 6 Sep 2010 02:02:45 +0000 (23:02 -0300)
committerLeandro Lucarella <llucax@gmail.com>
Mon, 6 Sep 2010 02:11:35 +0000 (23:11 -0300)
commite74b77edc55c73d1f1656131a645eed30a59727f
treeb69ecbdddb42124f0d2396b8d64d8cedfd505d88
parentcc0ea21e4d2f60ad8cc8c4cc5da47264b8e0dc85
Avoid output duplication because of FILE* buffers

FILE* buffers are duplicated when fork()ing, and at program exit(), the C
library flushes the FILE* buffers, resulting in duplicated output.

To avoid this we flush all FILE* buffers before fork()ing.
rt/gc/cdgc/gc.d