From 848716d5b644564c50f2da8fc5dafc69b196b253 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 17 Feb 2020 20:06:09 +0100
Subject: [PATCH] [log] reset deferred_exn when treating the exception
---
src/kernel_services/plugin_entry_points/log.ml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/kernel_services/plugin_entry_points/log.ml b/src/kernel_services/plugin_entry_points/log.ml
index fc75685ce07..6e865c870ca 100644
--- a/src/kernel_services/plugin_entry_points/log.ml
+++ b/src/kernel_services/plugin_entry_points/log.ml
@@ -569,6 +569,8 @@ let update_deferred_exn exn =
let warn_event_as_error event = update_deferred_exn (DWarn_as_error event)
let deferred_raise ~fatal ~unreported event msg =
+ (* reset deferred flag. *)
+ let () = deferred_exn := DNo_exn in
let channel = new_channel event.evt_plugin in
let append =
if unreported then None else
--
GitLab