From 2f7b895c0633787af0c28d46b3b83be15f68f6d1 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 11 Jan 2016 22:37:10 +0100 Subject: [PATCH] be more robust to strange failures when handling exceptions --- src/xbt/ex.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/xbt/ex.c b/src/xbt/ex.c index b8a775a843..c772426e8e 100644 --- a/src/xbt/ex.c +++ b/src/xbt/ex.c @@ -160,10 +160,15 @@ void xbt_ex_display(xbt_ex_t * e) if (e->used && e->bt_strings) { /* We have everything to build neat backtraces */ int i; + int cutpath = 0; + TRY { // We don't want to have an exception while checking how to deal with the one we already have, do we? + cutpath = sg_cfg_get_boolean("exception/cutpath"); + } CATCH_ANONYMOUS { } fprintf(stderr, "\n"); for (i = 0; i < e->used; i++) { - if (sg_cfg_get_boolean("exception/cutpath")) { + + if (cutpath) { char* p = e->bt_strings[i]; xbt_str_rtrim(p, ":0123456789"); char* filename = strrchr(p, '/')+1; -- 2.20.1