Allow exceptions with NULL msg

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1681 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index 62aa962..5ca8f9d 100644 (file)
--- a/src/xbt/ex.c
+++ b/src/xbt/ex.c
@@ -76,7 +76,7 @@ ex_ctx_cb_t  __xbt_ex_ctx       = &__xbt_ex_ctx_default;
 ex_term_cb_t __xbt_ex_terminate = &__xbt_ex_terminate_default;
 
 void xbt_ex_free(xbt_ex_t e) {
-  free(e.msg);
+  if (e.msg) free(e.msg);
   free(e.procname);
 }