dist: testrunner: kill whole process group of spawned process

2016-03-05 20:47:51 +01:00 · 2016-03-05 20:47:51 +01:00 · e168f49c86
commit e168f49c86
parent d7a10aa030
1 changed files with 1 additions and 1 deletions
--- 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