tester: Provide a gdb kill method to aid clean ups on ctrl-C.

1 files changed, 9 insertions, 0 deletions

diff --git a/tester/rt/gdb.py b/tester/rt/gdb.py
index 443e849..e82142e 100644
--- a/tester/rt/gdb.py
+++ b/tester/rt/gdb.py
@@ -231,6 +231,15 @@ class gdb(object):
         finally:
             self._unlock('_open')
 
+    def kill(self):
+        self._lock('_open')
+        try:
+            if self.process:
+                self.process.kill()
+            self.process = None
+        finally:
+            self._unlock('_open')
+
     def gdb_expect(self):
         if self.trace:
             print('}}} gdb-expect')