DataSift\Storyplayer\Cli\KillProcesses_Switch::killProcess PHP Method

    public function killProcess($pid, $processName)
    {
        // is the process running?
        if (!posix_kill($pid, 0)) {
            return;
        }
        echo "Killing {$pid} ({$processName}) ... ";
        posix_kill($pid, SIGTERM);
        if (posix_kill($pid, 0)) {
            sleep(1);
            posix_kill($pid, SIGKILL);
        }
        if (posix_kill($pid, 0)) {
            echo "could not kill\n";
        } else {
            echo "killed\n";
        }
    }