diff options
| author | Tamar Christina <tamar@zhox.com> | 2019-06-01 11:25:29 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-07-15 16:41:01 -0400 |
| commit | 1a228ff9e04c91bc9b6f62942dc18bf1985a58a4 (patch) | |
| tree | 084a46910473d4b98ed1f669ab8d98966bb43b48 /rts | |
| parent | 763088fc3c14c8687685fe811eac13d216971840 (diff) | |
| download | haskell-1a228ff9e04c91bc9b6f62942dc18bf1985a58a4.tar.gz | |
winio: Flush event logs eagerly.
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/eventlog/EventLog.c | 1 | ||||
| -rw-r--r-- | rts/eventlog/EventLogWriter.c | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c index e3597cd73c..11e8a5e0b6 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -1484,6 +1484,7 @@ void printAndClearEventBuf (EventsBuf *ebuf) "printAndClearEventLog: could not flush event log\n" ); resetEventsBuf(ebuf); + flushEventLog(); return; } diff --git a/rts/eventlog/EventLogWriter.c b/rts/eventlog/EventLogWriter.c index 5387f932eb..047c211db4 100644 --- a/rts/eventlog/EventLogWriter.c +++ b/rts/eventlog/EventLogWriter.c @@ -122,6 +122,8 @@ writeEventLogFile(void *eventlog, size_t eventlog_size) begin += written; } release_event_log_lock(); + + flushEventLogFile (); return true; } |