if (xbt_initialized!=1)
return;
- xbt_binary_name = strdup(argv[0]);
+ xbt_binary_name = xbt_strdup(argv[0]);
srand((unsigned int)time(NULL));
VERB0("Initialize XBT");
xbt_log_init(argc,argv);
+ xbt_thread_mod_init();
+ xbt_context_init();
}
/** @brief Finalize the xbt mechanisms. */
void
xbt_exit(){
xbt_initialized--;
+ if (xbt_initialized == 0) {
+ xbt_fifo_exit();
+ xbt_dict_exit();
+ xbt_context_exit();
+ xbt_thread_mod_exit();
+ xbt_log_exit();
+ }
+
if (xbt_initialized == 0)
- free(xbt_binary_name);
- xbt_log_exit();
- xbt_fifo_exit();
+ free(xbt_binary_name);
}