Stop debug session if halt fails

diff --git a/src/server/gdb_server.c b/src/server/gdb_server.c
index a0077e93e6fe99a2cec16dbf434be587b2fef76c..00de5fc6fe942b2ab7ac2b6bb5b80623f5da6f8a 100644 (file)
--- 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;
                        }
                }