array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'gearmanworker.setid.php', 1 => 'GearmanWorker::setId', ), 'up' => array ( 0 => 'class.gearmanworker.php', 1 => 'GearmanWorker', ), 'prev' => array ( 0 => 'gearmanworker.returncode.php', 1 => 'GearmanWorker::returnCode', ), 'next' => array ( 0 => 'gearmanworker.setoptions.php', 1 => 'GearmanWorker::setOptions', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/gearman/gearmanworker/setid.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
(No version information available, might only be in Git)
GearmanWorker::setId — Définit un identifiant au worker
Assigne au worker un identifiant, permettant ainsi qu'il soit identifiable lorsque gearman demande la liste des workers disponibles.
id
Un identifiant.
Exemple #1 Exemple avec GearmanWorker::setId()
Définit un identifiant à un worker simple.
<?php
$worker= new GearmanWorker();
$worker->setId('test');
?>
Résultat de l'exemple ci-dessus est similaire à :
Run the following command: gearadmin --workers Output: 30 ::3a3a:3361:3361:3a33%976303667 - : test