# HG changeset patch
# User Christian Wirth <christian.wirth@oracle.com>
# Date 1394787511 -3600
# Node ID 47b775458982c5d000c4ac9a931f3ae39ceabf76
# Parent  5454f6bf50bfbc48ae1ba92dd6d206928e89cc30# Parent  4c9f24b8f002cd4e3887e47960f90a30821e0e58
Merged

diff -r 4c9f24b8f002 -r 47b775458982 mxtool/mx.py
--- a/mxtool/mx.py	Thu Mar 13 13:38:02 2014 -0700
+++ b/mxtool/mx.py	Fri Mar 14 09:58:31 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)