pidFile

Descripción:

static string Worker::$pidFile

Si no hay una necesidad especial, se recomienda no establecer esta propiedad.

Esta propiedad es una propiedad estática global que se usa para configurar la ruta del archivo pid del proceso Workerman.

Esta configuración es útil en el monitoreo; por ejemplo, colocar el archivo pid de Workerman en un directorio fijo permite que algunos software de monitoreo lean el archivo pid y, por lo tanto, monitoreen el estado del proceso Workerman.

Si no se establece, Workerman generará automáticamente un archivo pid en una ubicación paralela al directorio de Workerman (tenga en cuenta que, en versiones anteriores a workerman3.2.3, de forma predeterminada se generaba en sys_get_temp_dir()), y para evitar conflictos de pid debido al inicio de múltiples instancias de Workerman, el archivo pid generado por Workerman incluye la ruta actual de Workerman.

Nota: Esta propiedad debe establecerse antes de ejecutar Worker::runAll(); para que tenga efecto. Este carácter no es compatible con sistemas Windows.

Ejemplo

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";
};
// Ejecutar worker
Worker::runAll();