pidFile
Descrição:
static string Worker::$pidFile
Se não houver necessidades especiais, recomenda-se não definir esta propriedade.
Esta propriedade é um atributo estático global que é usado para definir o caminho do arquivo pid do processo Workerman.
Essa configuração é particularmente útil no monitoramento, por exemplo, colocando o arquivo pid do Workerman em um diretório fixo, facilitando a alguns softwares de monitoramento lerem o arquivo pid e, assim, monitorarem o estado do processo Workerman.
Se não configurado, o Workerman gerará automaticamente um arquivo pid em um local paralelo ao diretório do Workerman (observe que nas versões anteriores à 3.2.3, por padrão, o Workerman gerava em sys_get_temp_dir()), e para evitar conflitos de pid ao iniciar múltiplas instâncias do Workerman, o Workerman inclui o caminho atual em seu arquivo pid.
Atenção: Esta propriedade deve ser definida antes da execução de Worker::runAll(); para ser efetiva. Sistemas Windows não suportam este recurso.
Exemplo
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";
};
// Executar worker
Worker::runAll();