diff options
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 8aeea789e6..ba374a71a5 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -1665,6 +1665,7 @@ void flushEventLog(Capability **cap USED_IF_THREADS) #if defined(THREADED_RTS) Task *task = getMyTask(); stopAllCapabilitiesWith(cap, task, SYNC_FLUSH_EVENT_LOG); + flushAllCapsEventsBufs(); releaseAllCapabilities(n_capabilities, cap ? *cap : NULL, task); #endif flushEventLogWriter(); |