X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7ed886c11a1cc353bbcfec65676be4f756af2647..5b32d08cb7d3c3563120366a1b508a325e8d5da3:/src/xbt/ex.c

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index 5ca8f9d2e9..5a9ad015fe 100644
--- a/src/xbt/ex.c
+++ b/src/xbt/ex.c
@@ -42,8 +42,8 @@ ex_ctx_t *__xbt_ex_ctx_default(void) {
     return &ctx;
 }
 
-/* default __ex_terminate callback function */
-void __xbt_ex_terminate_default(xbt_ex_t *e)  {
+/** @brief shows an exception content and the associated stack if available */
+void xbt_ex_display(xbt_ex_t *e)  {
 
   fprintf(stderr,
 	  "** SimGrid: UNCAUGHT EXCEPTION: category: %s; value: %d\n"
@@ -67,6 +67,12 @@ void __xbt_ex_terminate_default(xbt_ex_t *e)  {
   free (strings);
  }
 #endif
+}
+
+
+/* default __ex_terminate callback function */
+void __xbt_ex_terminate_default(xbt_ex_t *e)  {
+  xbt_ex_display(e);
 
   abort();
 }