#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()
TRACE_global_init(argc, argv);
- xbt_getpid = MSG_process_self_PID;
+ xbt_getpid = &MSG_process_self_PID;
if (!msg_global) {
msg_global = xbt_new0(s_MSG_Global_t, 1);
{
simcall_process_killall(reset_PIDs);
- if (reset_PIDs > 0)
- msg_global->session++;
-
return 0;
-
}
static void MSG_exit() {