public function kill($pid) { exec('kill -9 ' . $pid . ' >/dev/null 2>&1', $output, $result); return $result == 0; }