Python kill_process_treeの例

コード例 #1

ファイル: op.py プロジェクト: olliethomas/guildai

def _handle_proc_interrupt(proc):
    log.info("Operation interrupted - waiting for process to exit")
    kill_after = time.time() + PROC_TERM_TIMEOUT_SECONDS
    while time.time() < kill_after:
        if proc.poll() is not None:
            break
        time.sleep(1)
    if proc.poll() is None:
        log.warning("Operation process did not exit - stopping forcefully")
        util.kill_process_tree(proc.pid, force=True)
    return exit_code.SIGTERM

コード例 #2

def _handle_proc_keyboard_interrupt(proc):
    log_waiting_after = time.time() + LOG_WAITING_DELAY_SECONDS
    kill_after = time.time() + PROC_TERM_TIMEOUT_SECONDS
    while time.time() < kill_after:
        if log_waiting_after and time.time() > log_waiting_after:
            if os.getenv("NO_OP_INTERRUPTED_MSG") != "1":
                log.info("Operation interrupted - waiting for process to exit")
            log_waiting_after = None
        if proc.poll() is not None:
            break
        time.sleep(1)
    if proc.poll() is None:
        log.warning("Operation process did not exit - stopping forcefully")
        util.kill_process_tree(proc.pid, force=True)
    return exit_code.KEYBOARD_INTERRUPT