private static function getPid() { if (!is_file(self::$pidFile)) { return 0; } $pid = intval(file_get_contents(self::$pidFile)); return $pid; }