Target process isn't killed during stop debugigng on Linux+GDB #19
Description
On the version of GDB that I have on Linux (Ubuntu 7.7.1-0ubuntu5~14.04.2), gdb doesn't support an -exec-abort command. I went through all the mi commands using strings on it. It appears that the only way to kill the process is to use the non-mi 'kill' command.