def check(path):
    try:
        logging.info("Checking pidfile '%s'", path)
        pids = [int(pid) for pid in open(path).read().strip().split(' ')]
        kill_processes(pids)
    except __HOLE__, (code, text):
        if code == errno.ENOENT:
            logging.warning("pidfile '%s' not found" % path)
        else:
            raise
dataset/ETHPy150Open YelpArchive/pushmanager/pushmanager/core/pid.py/check