gdb_server : 'R' command replied by OK

diff --git a/src/server/gdb_server.c b/src/server/gdb_server.c
index aeb4e2e883b6a061b773e7608caf0ef8a04a7448..9c1d24529645bb0d96063bf8cb57b225f26984df 100644 (file)
--- a/src/server/gdb_server.c
+++ b/src/server/gdb_server.c
@@ -2363,6 +2363,7 @@ static int gdb_input_inner(struct connection *connection)
                                        command_run_linef(connection->cmd_ctx,
                                                        "ocd_gdb_restart %s",
                                                        target_name(target));
+                                       gdb_put_packet(connection, "OK", 2);
                                        break;
 
                                case 'j':