summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
046ff6a)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3228
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
xbt_log_init(argc,argv);
xbt_thread_mod_init();
xbt_log_init(argc,argv);
xbt_thread_mod_init();
}
/** @brief Finalize the xbt mechanisms. */
}
/** @brief Finalize the xbt mechanisms. */
xbt_exit(){
xbt_initialized--;
if (xbt_initialized == 0) {
xbt_exit(){
xbt_initialized--;
if (xbt_initialized == 0) {
xbt_fifo_exit();
xbt_dict_exit();
xbt_fifo_exit();
xbt_dict_exit();
xbt_thread_mod_exit();
}
xbt_log_exit();
xbt_thread_mod_exit();
}
xbt_log_exit();
+
+ if (xbt_initialized == 0)
+ free(xbt_binary_name);