Mercurial > hg > truffle
changeset 14540:f659d019d3ab
Merged
| author | Christian Wirth <christian.wirth@oracle.com> |
|---|---|
| date | Fri, 14 Mar 2014 15:29:17 +0100 |
| parents | 47b775458982 (diff) 360beb9b3c50 (current diff) |
| children | 145b31ba9a57 c4219e527b83 |
| files | |
| diffstat | 1 files changed, 2 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/mxtool/mx.py Fri Mar 14 10:22:04 2014 +0100 +++ b/mxtool/mx.py Fri Mar 14 15:29:17 2014 +0100 @@ -1099,6 +1099,8 @@ return run(java().format_cmd(args, addDefaultArgs), nonZeroIsFatal=nonZeroIsFatal, out=out, err=err, cwd=cwd) def _kill_process_group(pid, sig): + if not sig: + sig = signal.SIGKILL pgid = os.getpgid(pid) try: os.killpg(pgid, sig)