array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'es', ), 'this' => array ( 0 => 'pool.resize.php', 1 => 'Pool::resize', 2 => 'Redimensiona el Pool', ), 'up' => array ( 0 => 'class.pool.php', 1 => 'Pool', ), 'prev' => array ( 0 => 'pool.construct.php', 1 => 'Pool::__construct', ), 'next' => array ( 0 => 'pool.shutdown.php', 1 => 'Pool::shutdown', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'es', 'path' => 'reference/pthreads/pool/resize.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Pool::resize

(PECL pthreads >= 2.0.0)

Pool::resize — Redimensiona el Pool

Descripción

public Pool::resize(int $size): void

Redimensiona el Pool.

Parámetros

size
El número máximo de Workers que este Pool puede crear

Valores devueltos

No se retorna ningún valor.