X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4b5f366a8a5e31aefbd2f2d211ddfe951624df68..d239d3b23481b30b2a17c1d5b1fdb5fec70fd23b:/src/mc/simgrid_mc.cpp?ds=sidebyside

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();