diff options
author | Steve Reinhardt <stever@eecs.umich.edu> | 2005-11-03 13:14:28 -0500 |
---|---|---|
committer | Steve Reinhardt <stever@eecs.umich.edu> | 2005-11-03 13:14:28 -0500 |
commit | 902e27e692f613df58d6a1a3bcb1becf8bb7add9 (patch) | |
tree | 5a1fa735f476f36ac9d51bd5371951ef2b6b535e | |
parent | d9f94e966ba42aabace6e9d308768473346c7098 (diff) | |
download | gem5-902e27e692f613df58d6a1a3bcb1becf8bb7add9.tar.xz |
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
-rwxr-xr-x | util/qdo | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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$ "') |