try to kill child processes with SIGINT first, so mock has a chance to clean up

This commit is contained in:
Mike Bonnet 2009-02-10 14:10:52 -05:00
parent 169af070a3
commit 691a472d1c

View file

@ -1080,7 +1080,9 @@ class TaskManager(object):
- expire session
"""
# clean up stray children of tasks
ch_killed = self._killGroup(task_id)
ch_killed = self._killGroup(task_id, signal.SIGINT)
if not ch_killed:
ch_killed = self._killGroup(task_id)
if not ch_killed:
ch_killed = self._killGroup(task_id, signal.SIGKILL, timeout=2)
#expire the task's subsession