X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4b5f366a8a5e31aefbd2f2d211ddfe951624df68..41626f8a47c96f54fa3b1ee61a90fb0af699dcbc:/src/mc/simgrid_mc.cpp

diff --git a/src/mc/simgrid_mc.cpp b/src/mc/simgrid_mc.cpp
index 0f3447709f..d121fdbf73 100644
--- 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();