pidFile

説明:

static string Worker::$pidFile

特別な必要がない限り、この属性を設定しないことをお勧めします。

この属性はグローバル静的属性で、Workermanプロセスのpidファイルのパスを設定するために使用されます。

この設定は監視において非常に便利です。例えば、Workermanのpidファイルを特定のディレクトリに置くことで、いくつかの監視ソフトウェアがpidファイルを簡単に読み取ることができ、Workermanプロセスの状態を監視することができます。

設定しない場合、WorkermanはデフォルトでWorkermanディレクトリと並行する場所に（注意：workerman3.2.3以前のバージョンではデフォルトでsys_get_temp_dir()の下に）自動的にpidファイルを生成します。また、複数のWorkermanインスタンスが起動されることによるpidの衝突を避けるため、Workermanが生成するpidファイルには現在のWorkermanのパスが含まれています。

注意：この属性はWorker::runAll();を実行する前に設定しなければなりません。Windowsシステムではこの機能はサポートされていません。

例

use Workerman\Worker;
require_once __DIR__ . '/vendor/autoload.php';

Worker::$pidFile = '/var/run/workerman.pid';

$worker = new Worker('text://0.0.0.0:8484');
$worker->onWorkerStart = function($worker)
{
    echo "Worker start";
};
// ワーカーを実行
Worker::runAll();