VERB0("Initialize XBT");
xbt_log_init(argc,argv);
- xbt_thread_mod_init();
+ xbt_os_thread_mod_init();
xbt_context_init();
}
xbt_fifo_exit();
xbt_dict_exit();
xbt_context_exit();
- xbt_thread_mod_exit();
+ xbt_os_thread_mod_exit();
+ xbt_log_exit();
}
- xbt_log_exit();
if (xbt_initialized == 0)
free(xbt_binary_name);