Actually, now that the appside is not ptraced, there is no point killing it

Closing the socket is enough; it will exit on its self.

Also, there is no point waitpid()ing it, as the libevent loop is
already doing so.

diff --git a/src/mc/remote/CheckerSide.cpp b/src/mc/remote/CheckerSide.cpp
index e784883..6c8349c 100644 (file)
--- a/src/mc/remote/CheckerSide.cpp
+++ b/src/mc/remote/CheckerSide.cpp
@@ -215,14 +215,6 @@ CheckerSide::~CheckerSide()
   event_free(socket_event_);
   event_del(signal_event_);
   event_free(signal_event_);
-
-  if (running()) {
-    errno = 0;
-    xbt_assert(kill(get_pid(), SIGKILL) == 0);
-    xbt_assert(errno == 0);
-    waitpid(get_pid(), nullptr, 0);
-    xbt_assert(errno == 0);
-  }
 }
 
 void CheckerSide::finalize(bool terminate_asap)