Sisyphus - timed_run.py should flush stdout before terminating process, bug 418474, r=coop

This commit is contained in:
bclary%bclary.com 2008-02-20 14:05:25 +00:00
Родитель ed4018949a
Коммит 44e504bc3a
1 изменённых файлов: 3 добавлений и 1 удалений

Просмотреть файл

@ -60,8 +60,10 @@ def alarm_handler(signum, frame):
global prefix
try:
print "%s EXIT STATUS: TIMED OUT (%s seconds)" % (prefix, sys.argv[1])
sys.stdout.flush()
os.kill(pid, signal.SIGKILL)
except:
except OSError, e:
print "timed_run.py: exception trying to kill process: %d (%s)" % (e.errno, e.strerror)
pass
sys.exit(exitTimeout)