do not do useless and potentially harmful debug messages in datadesc_postexit

It may happen that xbt_log already exited at this point, leading to
erratic segfaults. At least we saw such behavior with the coroutine
factory of the Java world, where MSG_process_get_pid was segfaulting
when called from here.

Better safe than sorry.

diff --git a/src/xbt/datadesc/datadesc.c b/src/xbt/datadesc/datadesc.c
index 8c2328f..40856a5 100644 (file)
--- a/src/xbt/datadesc/datadesc.c
+++ b/src/xbt/datadesc/datadesc.c
@@ -170,10 +170,8 @@ void xbt_datadesc_preinit(void)
  **/
 void xbt_datadesc_postexit(void)
 {
-  XBT_VERB("Exiting DataDesc");
   xbt_set_free(&xbt_datadesc_set_local);
   xbt_dict_free(&xbt_dd_constants);
-  XBT_DEBUG("Exited DataDesc");
 }
 
 /** This is mainly to debug */