From 0109fe2f1c9d1bc7f2b26938e23eb463947c86ad Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 15 Mar 2016 23:38:51 +0100
Subject: [PATCH] [mc] Use _exit() in fork()-ed process

---
 src/mc/simgrid_mc.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/mc/simgrid_mc.cpp b/src/mc/simgrid_mc.cpp
index 1d19bc56e3..0c3a6f481e 100644
--- a/src/mc/simgrid_mc.cpp
+++ b/src/mc/simgrid_mc.cpp
@@ -58,7 +58,7 @@ pid_t do_fork(F f)
   // Child-process:
   try {
     f();
-    std::exit(EXIT_SUCCESS);
+    _exit(EXIT_SUCCESS);
   }
   catch(...) {
     // The callback should catch exceptions:
@@ -125,7 +125,7 @@ std::pair<pid_t, int> create_model_checked(char** argv)
     close(sockets[1]);
     int res = exec_model_checked(sockets[0], argv);
     XBT_DEBUG("Error in the child process creation");
-    exit(res);
+    _exit(res);
   });
 
   // Parent (model-checker):
-- 
2.20.1