Don't call Pervasives.exit to let async clean up

andrenth · Feb 5, 2015 · 66d264e · 66d264e
1 parent 032e647
commit 66d264e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git 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
@@ -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 ()