From dbd5669c58caaeae2a3c78d6ffc3b129d650f1e1 Mon Sep 17 00:00:00 2001
From: Romain Beauxis <toots@rastageeks.org>
Date: Wed, 27 Sep 2023 19:18:12 +0200
Subject: [PATCH] Make sure log thread is idempotent.

---
 CHANGES            | 1 +
 src/dtools_impl.ml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/CHANGES b/CHANGES
index 9882ae4..b3513c1 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,7 @@
 0.4.6 (unreleased)
 =====
 * Fix tracing log.
+* Make sure `Log.stop` atom is idempotent.
 
 0.4.5 (2023-06-27)
 =====
diff --git a/src/dtools_impl.ml b/src/dtools_impl.ml
index 503f22f..8ba24c6 100644
--- a/src/dtools_impl.ml
+++ b/src/dtools_impl.ml
@@ -860,6 +860,7 @@ module Log = struct
       match !log_thread with
         | None -> ()
         | Some th ->
+            log_thread := None;
             Condition.signal log_condition;
             Thread.join th
     end;