Is there an equivalent to the "kill" command? Something like? -exec-kill I'd like to kill the running program, reap the child process, but leave the executable's symbol information still loaded in gdb. The "kill" command seems to do all this but I can't see a "mi" equivalent.
I don't think there is one. One could be added (though for best results you'd have to do it). Using the CLI "kill" command seems fine, though, as well.
Yes, the CLI "kill" command does work. However, it's not "mi" friendly for frontend use. eg: there's no "^done" message afterwards. I'll attempt to implement it and submit a patch, as per the documents.