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