From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 27 Sep 2012 11:41:01 +0000 (+0200)
Subject: do not do useless and potentially harmful debug messages in datadesc_postexit
X-Git-Tag: v3_8~160
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/43263cd53bb486f2c88f8ea7b35875d679c94fb6

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 8c2328fcb6..40856a5b74 100644
--- 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 */