def maybe_kill_child():
    try:
        if child_pid is not None:
            os.kill(child_pid, signal.SIGTERM)
    except __HOLE__:
        # We don't care if the child process no longer exists, so just log the error
        logger.exception("")
dataset/ETHPy150Open zulip/zulip/bots/zephyr_mirror_backend.py/maybe_kill_child