pidFile

说明:

static string Worker::$pidFile

إذا لم يكن هناك حاجة خاصة، يُنصح بعدم تعيين هذه الخاصية

هذه الخاصية هي خاصية ثابتة عالمية تستخدم لتعيين مسار ملف pid لعملية Workerman.

تكون هذه الإعدادات مفيدة في المراقبة، على سبيل المثال، وضع ملف pid الخاص بـ Workerman في دليل ثابت يمكن أن يسهل على بعض برامج المراقبة قراءة ملف pid وبالتالي مراقبة حالة عملية Workerman.

إذا لم يتم تعيينها، فإن Workerman سيقوم تلقائياً بإنشاء ملف pid في موقع متوازي مع دليل Workerman (لاحظ أن الإصدار القديم من workerman3.2.3 كان بشكل افتراضي في sys_get_temp_dir())، ومن أجل تجنب التعارض في pid الناجم عن تشغيل عدة مثيلات من Workerman، يتم تضمين مسار Workerman الحالي في ملف pid الذي يتم إنشاؤه.

لاحظ: يجب تعيين هذه السمة قبل تنفيذ Worker::runAll(); حتى تكون فعالة. أنظمة ويندوز لا تدعم هذه الميزة.

范例

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