From 9748ffcda6f844b7ca8abe4bab183824c812a6f7 Mon Sep 17 00:00:00 2001 From: Vincent Bernardoff Date: Mon, 10 Oct 2016 15:35:36 +0200 Subject: [PATCH] do not raise any exn in an async_exn_hook body --- src/utils/utils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/utils/utils.ml b/src/utils/utils.ml index b97ef87e1..ef2fe1f48 100644 --- a/src/utils/utils.ml +++ b/src/utils/utils.ml @@ -54,7 +54,7 @@ let () = | exn -> Printf.eprintf "Uncaught (asynchronous) exception: %S\n%s\n%!" (Printexc.to_string exn) (Printexc.get_backtrace ()); - exit 1) + Lwt.wakeup exit_wakener 1) module StringMap = Map.Make (String)