From 703f88a969bfacdcaa84c83caf846ee4325a45a0 Mon Sep 17 00:00:00 2001
From: Uwe Bonnes <bon@elektron.ikp.physik.tu-darmstadt.de>
Date: Wed, 22 May 2019 17:48:02 +0200
Subject: [PATCH] gdb_main: Always release CPU when detaching.

Fixes Issue #413 and released as PR #477.
---
 src/gdb_main.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/gdb_main.c b/src/gdb_main.c
index ec6ef2f0..1e2cb860 100644
--- a/src/gdb_main.c
+++ b/src/gdb_main.c
@@ -227,8 +227,10 @@ int gdb_main_loop(struct target_controller *tc, bool in_syscall)
 
 		case 0x04:
 		case 'D':	/* GDB 'detach' command. */
-			if(cur_target)
+			if(cur_target) {
+				SET_RUN_STATE(1);
 				target_detach(cur_target);
+			}
 			last_target = cur_target;
 			cur_target = NULL;
 			gdb_putpacketz("OK");