X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c3290abb26edd834d8ce5863446024f0d8472e3b..8ee987d3a2adb9721f6ddec7f1d6d1ed2782fe59:/src/mc/ModelChecker.cpp

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 47c8a88abf..df403c3412 100644
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -108,7 +108,7 @@ void ModelChecker::shutdown()
   RemoteProcess& process = get_remote_process();
   if (process.running()) {
     XBT_DEBUG("Killing process");
-    // TODO, terminate the model checker politely instead of exiting rudely
+    finalize_app(true);
     kill(process.pid(), SIGKILL);
     process.terminate();
   }