diff options
| author | Joel Martin <github@martintribe.org> | 2015-03-01 23:41:32 -0600 |
|---|---|---|
| committer | Joel Martin <github@martintribe.org> | 2015-03-01 23:41:32 -0600 |
| commit | c53af760dfcb360fa8ee7a4d9d4381ad87d71945 (patch) | |
| tree | cee601d3005da12b535f1dc5d88839bbb8187d2d | |
| parent | d9c020b069cbd07d09d806b331f158556c69add5 (diff) | |
| download | mal-c53af760dfcb360fa8ee7a4d9d4381ad87d71945.tar.gz mal-c53af760dfcb360fa8ee7a4d9d4381ad87d71945.zip | |
runtest.py: fix cleanup to use kill.
Still doesn't work with C# and VB.
| -rwxr-xr-x | runtest.py | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -35,8 +35,10 @@ class Runner(): def __init__(self, args, redirect=False): print "args: %s" % repr(args) if redirect: - print "using redirect" - self.p = Popen(args, bufsize=0, stdin=PIPE, stdout=PIPE, stderr=STDOUT) + #cmd = '/bin/bash -c "' + " ".join(args) + ' |tee /dev/null"' + cmd = " ".join(args) + ' |tee /dev/null' + print "using redirect cmd: '%s'" % cmd + self.p = Popen(cmd, bufsize=0, stdin=PIPE, stdout=PIPE, stderr=STDOUT, shell=True) self.stdin = self.p.stdin self.stdout = self.p.stdout else: @@ -74,7 +76,7 @@ class Runner(): def cleanup(self): if self.p: - self.p.terminate() + self.p.kill() self.p = None |
