summaryrefslogtreecommitdiff
path: root/rts
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2022-04-21 14:42:19 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-04-27 10:06:07 -0400
commit318e0005b5a3a522854ced7162f3eee95f964bd9 (patch)
treed9c2da0af34ece5b288d42c601182598ecb6780d /rts
parent23aad124ff76ad4bb2ba697d4d1e306e7cc595ac (diff)
downloadhaskell-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.
Diffstat (limited to 'rts')
-rw-r--r--rts/eventlog/EventLog.c8
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);