Warning

This document is for an old release of Galaxy. You can alternatively view this page in the latest release if it exists or view the top of the latest release's documentation.

Source code for galaxy.jobs.runners.util.kill

import os
import subprocess
from platform import system
from time import sleep

try:
    from psutil import NoSuchProcess, Process
except ImportError:
    """ Don't make psutil a strict requirement, but use if available. """
    Process = None


[docs]def kill_pid(pid, use_psutil=True): if use_psutil and Process: _psutil_kill_pid(pid) else: _stock_kill_pid(pid)
def _psutil_kill_pid(pid): """ http://stackoverflow.com/questions/1230669/subprocess-deleting-child-processes-in-windows """ try: parent = Process(pid) for child in parent.children(recursive=True): child.kill() parent.kill() except NoSuchProcess: return def _stock_kill_pid(pid): is_windows = system() == 'Windows' if is_windows: __kill_windows(pid) else: __kill_posix(pid) def __kill_windows(pid): try: subprocess.check_call(['taskkill', '/F', '/T', '/PID', pid]) except subprocess.CalledProcessError: pass def __kill_posix(pid): def __check_pid(): try: os.kill(pid, 0) return True except OSError: return False if __check_pid(): for sig in [15, 9]: try: os.killpg(pid, sig) except OSError: return sleep(1) if not __check_pid(): return