pidFile
说明:
static string Worker::$pidFile
Si aucune nécessité particulière n'est requise, il est conseillé de ne pas définir cette propriété.
Cette propriété est une propriété statique globale utilisée pour définir le chemin du fichier pid du processus Workerman.
Cette configuration est particulièrement utile lors de la surveillance, par exemple en plaçant le fichier pid de Workerman dans un répertoire fixe, ce qui permet à certains logiciels de surveillance de lire le fichier pid et ainsi de surveiller l'état du processus Workerman.
Si elle n'est pas définie, Workerman générera par défaut un fichier pid dans un emplacement parallèle au répertoire Workerman (notez qu'avant la version workerman3.2.3, le fichier pid était par défaut généré dans sys_get_temp_dir()), et pour éviter les conflits de pid dus à la mise en route de plusieurs instances de Workerman, le fichier pid généré par Workerman inclut le chemin actuel de Workerman.
Attention : cette propriété doit être définie avant l'exécution de Worker::runAll();. Les systèmes Windows ne supportent pas cette fonctionnalité.
Exemples
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";
};
// Exécuter le worker
Worker::runAll();