equal
deleted
inserted
replaced
203 try: |
203 try: |
204 output = '' |
204 output = '' |
205 proc.tochild.close() |
205 proc.tochild.close() |
206 output = proc.fromchild.read() |
206 output = proc.fromchild.read() |
207 ret = proc.wait() |
207 ret = proc.wait() |
|
208 if os.WIFEXITED(ret): |
|
209 ret = os.WEXITSTATUS(ret) |
208 except Timeout: |
210 except Timeout: |
209 vlog('# Process %d timed out - killing it' % proc.pid) |
211 vlog('# Process %d timed out - killing it' % proc.pid) |
210 os.kill(proc.pid, signal.SIGTERM) |
212 os.kill(proc.pid, signal.SIGTERM) |
211 ret = proc.wait() |
213 ret = proc.wait() |
212 if ret == 0: |
214 if ret == 0: |