GDBInterface.killTerminal

Undocumented in source. Be warned that the author may not have intended to support it.
class GDBInterface
void
killTerminal
()

Meta