Christian Kruse 41abf9a7ef fix: flushing and fsync()ing the log file ...

When not flushing and fsync()ing it the output may be garbled due to
concurrent writes to the file (system() spawns a child process with
stdin/stdout/stderr inherited from it's parent)

2014-01-21 13:52:27 +01:00

35 KiB

Raw Blame History

View Raw