[mc] Move MC_init_pid outside of mc_server

diff --git a/src/mc/mc_server.cpp b/src/mc/mc_server.cpp
index 3cacf13..cd6653e 100644 (file)
--- a/src/mc/mc_server.cpp
+++ b/src/mc/mc_server.cpp
@@ -45,8 +45,6 @@ void s_mc_server::start()
     throw std::system_error(res, std::system_category());
   XBT_DEBUG("Greeted the MC client");
 
-  MC_init_pid(pid, socket);
-
   // Block SIGCHLD (this will be handled with accept/signalfd):
   sigset_t set;
   sigemptyset(&set);

diff --git a/src/mc/simgrid_mc.cpp b/src/mc/simgrid_mc.cpp
index 0f34477..d121fdb 100644 (file)
--- a/src/mc/simgrid_mc.cpp
+++ b/src/mc/simgrid_mc.cpp
@@ -75,6 +75,7 @@ static int do_parent(int socket, pid_t child)
     mc_mode = MC_MODE_SERVER;
     mc_server = new s_mc_server(child, socket);
     mc_server->start();
+    MC_init_pid(child, socket);
     mc_server->resume(&mc_model_checker->process);
     mc_server->loop();
     mc_server->shutdown();