static int do_child(int socket, char** argv)
{
XBT_DEBUG("Inside the child process PID=%i", (int) getpid());
static int do_child(int socket, char** argv)
{
XBT_DEBUG("Inside the child process PID=%i", (int) getpid());
if (prctl(PR_SET_PDEATHSIG, SIGHUP) != 0) {
std::perror("simgrid-mc");
return MC_SERVER_ERROR;
}
if (prctl(PR_SET_PDEATHSIG, SIGHUP) != 0) {
std::perror("simgrid-mc");
return MC_SERVER_ERROR;
}