>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes: >> Fix this by keeping a list of server_spawn_id, and cleaning those up before >> calling gdbserver_gdb_exit. >> >> This reduces testing time from 1m22s to 32s. >> >> Any comments? >> Tom> Ping. Thank you. This looks good to me. Tom