From e168f49c8620a8a618dcdd1704c8bb39f5fb4598 Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Sat, 5 Mar 2016 20:47:51 +0100
Subject: [PATCH] dist: testrunner: kill whole process group of spawned process
---
dist/tools/testrunner/testrunner.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dist/tools/testrunner/testrunner.py b/dist/tools/testrunner/testrunner.py
index 09e1dbf3a4..bf87cd15e1 100755
--- a/dist/tools/testrunner/testrunner.py
+++ b/dist/tools/testrunner/testrunner.py
@@ -29,7 +29,7 @@ def run(testfunc, timeout=5, echo=True):
return 1
finally:
print("")
- child.kill(signal.SIGKILL)
+ os.killpg(os.getpgid(child.pid), signal.SIGKILL)
child.close()
return 0
--
GitLab