Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
do not do useless and potentially harmful debug messages in datadesc_postexit
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 27 Sep 2012 11:41:01 +0000 (13:41 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 27 Sep 2012 11:41:01 +0000 (13:41 +0200)
commit43263cd53bb486f2c88f8ea7b35875d679c94fb6
tree7f71058254d01ef0a2c8ca3130859913db031ebc
parent26a8af5df5398c71bffa5ef6e7675c2d28844dce
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.
src/xbt/datadesc/datadesc.c