From 66d264eabf826cd6eb14d89bb2016a7b469d46f4 Mon Sep 17 00:00:00 2001 From: Andre Nathan Date: Wed, 4 Feb 2015 16:14:47 -0200 Subject: [PATCH] Don't call Pervasives.exit to let async clean up --- lib_test/async/helper.ml | 7 ++----- lib_test/async/slave.ml | 2 +- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/lib_test/async/helper.ml b/lib_test/async/helper.ml index 6d68a37..d6588ce 100644 --- a/lib_test/async/helper.ml +++ b/lib_test/async/helper.ml @@ -11,11 +11,8 @@ let socket_path = sprintf "%s/_build/helper_async.socket" (Std_unix.getcwd ()) let handle_sigterm _ = - let ctrl_t = - Log.info logger "got sigterm, exiting"; - Unix.unlink socket_path in - don't_wait_for ctrl_t; - Pervasives.exit 0 + Log.info logger "got sigterm, exiting"; + don't_wait_for (exit 0) let control_handler fd = let handler req = diff --git a/lib_test/async/slave.ml b/lib_test/async/slave.ml index 1b946bb..4968a3e 100644 --- a/lib_test/async/slave.ml +++ b/lib_test/async/slave.ml @@ -8,7 +8,7 @@ let logger = Logger.syslog let handle_sigterm _ = Log.info logger "got sigterm"; - Pervasives.exit 0 + don't_wait_for (exit 0) let ipc_lock = Sequencer.create ()