X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1a4cdddd9caa6ce3ed6cf860bebbf96f237f7241..83636a12d4f21be42bb60312b7c897ce15217e9f:/src/xbt/xbt_main.c

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 08c3dec934..f16ad00366 100644
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -31,19 +31,28 @@ xbt_init(int *argc, char **argv) {
   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();
+    free(xbt_binary_name);
 }