Qdo should kill its subordinate qsub more aggressively

on a timeout.

util/qdo:
    Qsub needs a kill -9 to die; kill -15 doesn't cut it.

--HG--
extra : convert_revision : 7696b3ecf1a084b68dd909b138ab6aa1b380b5a7

diff --git a/util/qdo b/util/qdo
index 339d944a77b6f18021f2ba4bc57199642231d94c..135cce4ef657b646d111a6dfb8a1a6c4678dd3c4 100755 (executable)
--- a/util/qdo
+++ b/util/qdo
@@ -99,7 +99,7 @@ class Shell(pexpect.spawn):
             self.expect('\$ ', options.qsub_timeout)
         except pexpect.TIMEOUT:
             print >>sys.stderr, "%s: qsub timed out." % progname
-            self.kill(15)
+            self.kill(9)
             self.close(wait=True)
             sys.exit(1)
         self.do_command('unset PROMPT_COMMAND; PS1="qdo$ "')