From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 22 Sep 2017 13:02:28 +0000 (+0200)
Subject: Really kill the process.
X-Git-Tag: v3_17~84
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a49a03122b2def71ff741e78d15b38cd1d171184?ds=sidebyside

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 a82fa8f8bc..8de1553f8c 100644
--- 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");
-    kill(process->pid(), SIGTERM);
+    kill(process->pid(), SIGKILL);
     process->terminate();
   }
 }