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/eventlog/EventLog.c | |
parent | 763088fc3c14c8687685fe811eac13d216971840 (diff) | |
download | haskell-1a228ff9e04c91bc9b6f62942dc18bf1985a58a4.tar.gz |
winio: Flush event logs eagerly.
Diffstat (limited to 'rts/eventlog/EventLog.c')
-rw-r--r-- | rts/eventlog/EventLog.c | 1 |
1 files changed, 1 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; } |