equal
deleted
inserted
replaced
299 def t(): |
299 def t(): |
300 start = time.time() |
300 start = time.time() |
301 while time.time() - start < timeout and p.returncode is None: |
301 while time.time() - start < timeout and p.returncode is None: |
302 time.sleep(0.1) |
302 time.sleep(0.1) |
303 p.timeout = True |
303 p.timeout = True |
|
304 vlog('# Timout reached for process %d' % p.pid) |
304 if p.returncode is None: |
305 if p.returncode is None: |
305 terminate(p) |
306 terminate(p) |
306 |
307 |
307 threading.Thread(target=t).start() |
308 threading.Thread(target=t).start() |
308 |
309 |