From dc049f4cf8ed3263d3da56f2d95c667edffb4468 Mon Sep 17 00:00:00 2001 From: Colomban Wendling Date: Sun, 7 Feb 2016 14:22:43 +0100 Subject: [PATCH] debugger: Report the signal name when the process received one --- debugger/src/dbm_gdb.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/debugger/src/dbm_gdb.c b/debugger/src/dbm_gdb.c index abfee01fd..3e4851e42 100644 --- a/debugger/src/dbm_gdb.c +++ b/debugger/src/dbm_gdb.c @@ -519,7 +519,14 @@ static gboolean on_read_from_gdb(GIOChannel * src, GIOCondition cond, gpointer d else { if (!requested_interrupt) - dbg_cbs->report_error(_("Program received a signal")); + { + gchar *msg = g_strdup_printf(_("Program received signal %s (%s)"), + (gchar *) gdb_mi_result_var(record->first, "signal-name", GDB_MI_VAL_STRING), + (gchar *) gdb_mi_result_var(record->first, "signal-meaning", GDB_MI_VAL_STRING)); + + dbg_cbs->report_error(msg); + g_free(msg); + } else requested_interrupt = FALSE; }