pidFile

Descripción:

static string Worker::$pidFile

Se recomienda no configurar esta propiedad a menos que sea necesario.

Esta propiedad es un atributo estático global utilizado para establecer la ruta del archivo pid del proceso Workerman.

Esta configuración es útil para la monitorización, por ejemplo, colocar el archivo pid de Workerman en un directorio fijo para que algunos programas de monitorización puedan leer el archivo pid y así supervisar el estado del proceso Workerman.

Si no se establece, Workerman generará de forma predeterminada un archivo pid en una ubicación paralela al directorio de Workerman (anterior a la versión 3.2.3 que lo generaba por defecto en sys_get_temp_dir()), y para evitar conflictos de pid al iniciar varias instancias de Workerman, el archivo pid generado por Workerman incluirá la ruta actual de Workerman.

Nota: Esta propiedad solo es efectiva si se establece antes de ejecutar Worker::runAll();. 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 "Inicio del trabajador";
};
// Ejecutar el trabajador
Worker::runAll();