# HG changeset patch
# User Christian Wirth <christian.wirth@oracle.com>
# Date 1394807357 -3600
# Node ID f659d019d3ab9153631e7c419a1392c4efbc36e5
# Parent  47b775458982c5d000c4ac9a931f3ae39ceabf76# Parent  360beb9b3c50c7e7919616847ee16eb2d17a1e53
Merged

diff -r 360beb9b3c50 -r f659d019d3ab mxtool/mx.py
--- 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)