pidFile

Descrizione:

static string Worker::$pidFile

Se non ci sono esigenze particolari, è consigliato non impostare questa proprietà.

Questa proprietà è un attributo statico globale, utilizzato per impostare il percorso del file pid del processo Workerman.

Questa impostazione è particolarmente utile nel monitoraggio. Ad esempio, posizionando il file pid di Workerman in una directory fissa, alcuni software di monitoraggio possono facilmente leggere il file pid e quindi monitorare lo stato del processo Workerman.

Se non impostata, Workerman genererà automaticamente un file pid in una posizione parallela alla directory di Workerman (si noti che nelle versioni precedenti a workerman3.2.3, per impostazione predefinita, era in sys_get_temp_dir()) e, per evitare conflitti di pid dovuti all'avvio di più istanze di Workerman, il file pid generato includeva il percorso corrente di Workerman.

Nota: questa proprietà deve essere impostata prima dell'esecuzione di Worker::runAll(); per essere efficace. I sistemi Windows non supportano questa funzione.

Esempio

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