pid_file

在Server启动时自动将master进程的PID写入到文件,在Server关闭时自动删除PID文件。

$server->set(array(
    'pid_file' => __DIR__.'/server.pid',
));

此选项在1.9.5或更高版本可用