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";
}
}