char *xbt_binary_name=NULL; /* Mandatory to retrieve neat backtraces */
int xbt_initialized=0;
-struct xbt_module_ {
- xbt_dynar_t *deps;
- xbt_cfg_t *cfg;
- int ref;
- xbt_module_new_fct_t new;
- xbt_module_finalize_fct_t finalize;
-};
-
/** @brief Initialize the xbt mechanisms. */
void
xbt_init(int *argc, char **argv) {
if (xbt_initialized == 0)
free(xbt_binary_name);
xbt_log_exit();
+ xbt_fifo_exit();
}