fix: make sure we don't fail when reading log ctx

imandra-ai · Dec 4, 2024 · a639077 · a639077
1 parent b63617e
commit a639077
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/log/logger.ml b/src/log/logger.ml
@@ -213,7 +213,9 @@ let to_event_if_ (p : level -> bool) ~emit_ev : Logs.reporter =
       let src = name_of_src src in
 
       (* get surrounding tags *)
-      let ambient_tags = Log_ctx.get_tags_from_ctx () in
+      let ambient_tags =
+        try Log_ctx.get_tags_from_ctx () with _ -> Logs.Tag.empty
+      in
 
       let k (tags : Logs.Tag.set) msg =
         (* remove and convert rich tags *)