From 1845e9132eaf9492ef0258f21efe61c19105b84a Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Wed, 16 Mar 2016 16:21:57 +1100
Subject: tester: Provide a gdb kill method to aid clean ups on ctrl-C.

---
 tester/rt/gdb.py | 9 +++++++++
 1 file changed, 9 insertions(+)

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')
-- 
cgit v1.2.3