From c3428f5b7ac2c555a52009cee04d0d1593a4a20c Mon Sep 17 00:00:00 2001 From: =?utf8?q?=C3=98yvind=20Harboe?= Date: Fri, 9 Oct 2009 10:31:40 +0200 Subject: [PATCH] Stop debug session if halt fails --- src/server/gdb_server.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/server/gdb_server.c b/src/server/gdb_server.c index a0077e93e..00de5fc6f 100644 --- a/src/server/gdb_server.c +++ b/src/server/gdb_server.c @@ -2191,7 +2191,12 @@ int gdb_input_inner(connection_t *connection) { if (target->state == TARGET_RUNNING) { - target_halt(target); + retval = target_halt(target); + if (retval != ERROR_OK) + { + /* stop this debug session */ + target_call_event_callbacks(target, TARGET_EVENT_GDB_HALT); + } gdb_con->ctrl_c = 0; } } -- 2.30.2