# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1394557828 -3600
# Node ID 38c0db058dcd5da86d6faff3da003e15d1d5b08c
# Parent  ee66410c067992985759a9889fcb0165653a0c3f
mx: check if it's a java process before sending sigquit

diff -r ee66410c0679 -r 38c0db058dcd mxtool/mx.py
--- a/mxtool/mx.py	Tue Mar 11 17:48:21 2014 +0100
+++ b/mxtool/mx.py	Tue Mar 11 18:10:28 2014 +0100
@@ -1465,8 +1465,15 @@
     return result
 
 def _send_sigquit():
-    p, _ = _currentSubprocess
-    if p is not None:
+    p, args = _currentSubprocess
+
+    def _isJava():
+        if args:
+            name = args[0].split("/")[-1]
+            return name == "java"
+        return False
+
+    if p is not None and _isJava():
         if get_os() == 'windows':
             log("mx: implement me! want to send SIGQUIT to my child process")
         else: