diff options
| -rw-r--r-- | rts/eventlog/EventLog.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c index d67f9e7bb1..ff3229298c 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -1542,6 +1542,10 @@ void flushLocalEventsBuf(Capability *cap) // Used during forkProcess. void flushAllCapsEventsBufs() { + if (!event_log_writer) { + return; + } + ACQUIRE_LOCK(&eventBufMutex); printAndClearEventBuf(&eventBuf); RELEASE_LOCK(&eventBufMutex); @@ -1554,6 +1558,10 @@ void flushAllCapsEventsBufs() void flushEventLog(Capability **cap USED_IF_THREADS) { + if (!event_log_writer) { + return; + } + ACQUIRE_LOCK(&eventBufMutex); printAndClearEventBuf(&eventBuf); RELEASE_LOCK(&eventBufMutex); |