diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-04-21 14:42:19 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-27 10:06:07 -0400 |
| commit | 318e0005b5a3a522854ced7162f3eee95f964bd9 (patch) | |
| tree | d9c2da0af34ece5b288d42c601182598ecb6780d | |
| parent | 23aad124ff76ad4bb2ba697d4d1e306e7cc595ac (diff) | |
| download | haskell-318e0005b5a3a522854ced7162f3eee95f964bd9.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.
| -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); |