diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-04-21 14:42:19 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2022-05-18 20:56:55 -0400 |
commit | 646f4614a19b3bff4fcb9af606a9b6e36e82ed18 (patch) | |
tree | d5f556cc90c333df0b5e3b54dff28e5fb7036df0 | |
parent | 4e1cb11dbbb2f0edcfdbb5ce2e6e96a30a38ce46 (diff) | |
download | haskell-646f4614a19b3bff4fcb9af606a9b6e36e82ed18.tar.gz |
rts/eventlog: Don't attempt to flush if there is no writer
If the user has not configured a writer then there is nothing to flush.
(cherry picked from commit 318e0005b5a3a522854ced7162f3eee95f964bd9)
-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); |