rtos : receive reset info

Change-Id: I03c64f50eed9bec43303bf47ac1f226a0e8dbd53
Signed-off-by: Michel JAOUEN <michel.jaouen@stericsson.com>
Reviewed-on: http://openocd.zylin.com/346


Tested-by: jenkins
Reviewed-by: Evan Hunter <evan@ozhiker.com>
Reviewed-by: Øyvind Harboe <oyvindharboe@gmail.com>

src/server/gdb_server.c

@@ -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;