diff mx/commands.py @ 4293:d4906ea4255b

Handle SIGTERM : killing mx will properly kill subprocesses Some tabs/spaces mixups
author Gilles Duboscq <gilles.m.duboscq@gmail.com>
date Wed, 18 Jan 2012 16:53:04 +0100
parents 2bc254976621
children 600cbdce9805
line wrap: on
line diff
--- a/mx/commands.py	Tue Jan 17 19:38:48 2012 -0800
+++ b/mx/commands.py	Wed Jan 18 16:53:04 2012 +0100
@@ -516,8 +516,8 @@
         index = args.index('-resultfile')
         if index + 1 < len(args):
             resultFile = args[index + 1]
-	    del args[index]
-	    del args[index]
+            del args[index]
+            del args[index]
         else:
             mx.abort('-resultfile must be followed by a file name')
     vm = 'graal'
@@ -526,7 +526,7 @@
         if index + 1 < len(args):
             vm = args[index + 1]
             del args[index]
-	    del args[index]
+            del args[index]
         else:
             mx.abort('-vm must be followed by a vm name (graal, server, client..)')
     if len(args) is 0: