mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-23 15:16:29 +00:00
flush stderr after a log message appears
We had the problem that the log file appeared empty for a long time due to file buffers. Thus we call fflush() after every log message so the log file gets written out to disk quickly
This commit is contained in: