summaryrefslogtreecommitdiff
path: root/src/server
diff options
context:
space:
mode:
authorØyvind Harboe <oyvind.harboe@zylin.com>2009-10-12 09:27:27 +0200
committerØyvind Harboe <oyvind.harboe@zylin.com>2009-10-12 09:27:27 +0200
commitc8d935ab7cbffb8b72e52bc39bfe85bb97dce0ac (patch)
tree248eace01056bb90b12b8e507f43b18b72f88853 /src/server
parentb23b096c8e712aabab263848594a2703f877d963 (diff)
downloadopenocd_libswd-c8d935ab7cbffb8b72e52bc39bfe85bb97dce0ac.tar.gz
openocd_libswd-c8d935ab7cbffb8b72e52bc39bfe85bb97dce0ac.tar.bz2
openocd_libswd-c8d935ab7cbffb8b72e52bc39bfe85bb97dce0ac.tar.xz
openocd_libswd-c8d935ab7cbffb8b72e52bc39bfe85bb97dce0ac.zip
If halt times out, stop GDB. Allows e.g. manual reset via monitor commands.
Diffstat (limited to 'src/server')
-rw-r--r--src/server/gdb_server.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/server/gdb_server.c b/src/server/gdb_server.c
index 00de5fc6..ad09a0e7 100644
--- a/src/server/gdb_server.c
+++ b/src/server/gdb_server.c
@@ -2194,10 +2194,13 @@ int gdb_input_inner(connection_t *connection)
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;
+ } else
+ {
+ LOG_INFO("The target is not running when halt was requested, stopping GDB.");
+ target_call_event_callbacks(target, TARGET_EVENT_GDB_HALT);
}
}