#include "simgrid/msg.h"
#include "instr/instr_interface.h"
+#include "msg_private.h"
#include "mc/mc.h"
#include "xbt/sysdep.h"
#include "xbt/log.h"
-
-#include "msg_private.hpp"
#include "simgrid/sg_config.h" /* Configuration mechanism of SimGrid */
#include "src/surf/xml/platf_private.hpp" // FIXME: KILLME by removing MSG_post_create_environment()
{
simcall_process_killall(reset_PIDs);
- if (reset_PIDs > 0)
- msg_global->session++;
-
return 0;
-
}
static void MSG_exit() {