def kill_process(pid):
    """
    kill_process(pid)

    Kills a process given a pid
    """

    try:
        os.kill(int(pid), signal.SIGKILL)
    except __HOLE__:
        print "No process running."
dataset/ETHPy150Open facebook/IT-CPE/code/lib/modules/sys_tools.py/kill_process