Really kill the process.

Some mc/umpire tests are deadlocking since commit 7b7b18bf7.

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index a82fa8f..8de1553 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -147,7 +147,7 @@ void ModelChecker::shutdown()
   simgrid::mc::RemoteClient* process = &this->process();
   if (process->running()) {
     XBT_DEBUG("Killing process");
   simgrid::mc::RemoteClient* process = &this->process();
   if (process->running()) {
     XBT_DEBUG("Killing process");

-    kill(process->pid(), SIGTERM);
+    kill(process->pid(), SIGKILL);

     process->terminate();
   }
 }
     process->terminate();
   }
 }