[PATCH]: 715713450c gdb_server: Improve info message.

[gerrit]

This is an automated email from Gerrit.

"Tomas Vanek <van...@fbl.cz>" just uploaded a new patch set to Gerrit, which 
you can find at https://review.openocd.org/c/openocd/+/8916

-- gerrit

commit 715713450cdf7390412d02a655498289396a24c3
Author: Tim Newsome <t...@sifive.com>
Date:   Thu Nov 10 10:32:23 2022 -0800

    gdb_server: Improve info message.
    
    Add target name and state to "Not running when halt was requested"
    message.
    
    Imported from
    https://github.com/riscv-collab/riscv-openocd/pull/763
    
    Change-Id: Ic84e9a884b57caa270cfee0ca6fa6a0dd8e5d2bd
    Signed-off-by: Tim Newsome <t...@sifive.com>

diff --git a/src/server/gdb_server.c b/src/server/gdb_server.c
index ef94b4cf0d..d596a76e01 100644
--- a/src/server/gdb_server.c
+++ b/src/server/gdb_server.c
@@ -3797,7 +3797,8 @@ static int gdb_input_inner(struct connection *connection)
                                        target_call_event_callbacks(target, 
TARGET_EVENT_GDB_HALT);
                                gdb_con->ctrl_c = false;
                        } else {
-                               LOG_INFO("The target is not running when halt 
was requested, stopping GDB.");
+                               LOG_TARGET_INFO(target, "Not running when halt 
was requested, stopping GDB. (state=%d)",
+                                               target->state);
                                target_call_event_callbacks(target, 
TARGET_EVENT_GDB_HALT);
                        }
                }

--