pidFile
Описание:
static string Worker::$pidFile
Если нет особой необходимости, не рекомендуется устанавливать это свойство.
Это свойство является глобальным статическим свойством, используемым для установки пути к файлу pid процесса Workerman.
Эта настройка полезна в мониторинге; например, если файл pid Workerman помещается в фиксированный каталог, это облегчает некоторым программам мониторинга чтение файла pid, что позволяет отслеживать состояние процесса Workerman.
Если не установить, Workerman по умолчанию автоматически создаст файл pid в месте, параллельном каталогу Workerman (обратите внимание, что в версиях до workerman3.2.3 он создавался по умолчанию в sys_get_temp_dir()), и чтобы избежать конфликтов 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
Worker::runAll();