diff options
| -rw-r--r-- | rts/Capability.c | 2 | ||||
| -rw-r--r-- | rts/eventlog/EventLog.c | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/rts/Capability.c b/rts/Capability.c index c3ef3929d9..136a62a71e 100644 --- a/rts/Capability.c +++ b/rts/Capability.c @@ -982,7 +982,7 @@ yieldCapability break; case SYNC_FLUSH_EVENT_LOG: - flushLocalEventsBuf(cap); + /* N.B. the actual flushing is performed by flushEventLog */ break; default: 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(); |