Make sure log thread is idempotent.

savonet · Sep 27, 2023 · dbd5669 · dbd5669
1 parent 5808275
commit dbd5669
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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;