Only reset the event log if logging is turned on (addendum to #4512)

1 files changed, 8 insertions, 0 deletions

diff --git a/rts/Trace.c b/rts/Trace.c
index be3fff72d4..53fc25a249 100644
--- a/rts/Trace.c
+++ b/rts/Trace.c
@@ -106,6 +106,14 @@ void freeTracing (void)
     }
 }
 
+void resetTracing (void)
+{
+    if (eventlog_enabled) {
+        abortEventLogging(); // abort eventlog inherited from parent
+        initEventLogging(); // child starts its own eventlog
+    }
+}
+
 /* ---------------------------------------------------------------------------
    Emitting trace messages/events
  --------------------------------------------------------------------------- */