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");
void
xbt_exit(){
xbt_initialized--;
- if (xbt_initialized == 0)
- free(xbt_binary_name);
+ if (xbt_initialized == 0) {
+ free(xbt_binary_name);
+ xbt_fifo_exit();
+ xbt_dict_exit();
+ }
xbt_log_exit();
- xbt_fifo_exit();
}