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 ()