Commit 96d0d40b authored by Martin Jeřábek's avatar Martin Jeřábek

testfw: fix killing stray ghdl processes

parent b847c15e
......@@ -4,7 +4,7 @@ import signal
__all__ = ['run']
def get_children_pids(parent_pid):
cmd = ['ps', '-o', 'pid', '--ppid', parent_pid, '--noheaders']
cmd = ['ps', '-o', 'pid', '--ppid', str(parent_pid), '--noheaders']
res =, stdout=subprocess.PIPE, check=False)
out = res.stdout.decode('ascii')
return [int(pid_str) for pid_str in out.split() if int(pid_str) != parent_pid]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment