diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tasks.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/tasks.py b/tools/tasks.py index f8f11d4e..555a5929 100644 --- a/tools/tasks.py +++ b/tools/tasks.py @@ -23,6 +23,7 @@ import threading import sys import os import locale +import time from conf import settings @@ -244,8 +245,10 @@ class Process(object): """Kill process instance if it is alive. """ if self._child and self._child.isalive(): - run_task(['sudo', 'kill', '-2', str(self._child.pid)], + run_task(['sudo', 'kill', '-15', str(self._child.pid)], self._logger) + self._logger.debug('Wait for process to terminate') + time.sleep(2) if self.is_relinquished(): self._relinquish_thread.join() |