rtos : receive reset info
[fw/openocd] / src / server / gdb_server.c
index 8d84a991f2ee4058fff367c9eebe460c496fb86e..2e7c08978117e55ac8a45c72165506a236e539aa 100644 (file)
@@ -2359,6 +2359,8 @@ static int gdb_input_inner(struct connection *connection)
                                        command_run_linef(connection->cmd_ctx,
                                                        "ocd_gdb_restart %s",
                                                        target_name(target));
+                                       /*  info rtos parts */
+                                       gdb_thread_packet(connection, packet, packet_size);
                                        gdb_put_packet(connection, "OK", 2);
                                        break;