Pool::resize master Ver versión oficial en línea Licencia CC-BY-3.0Descargado el 2026-08-02 En esta página Descripción# Parámetros# Valores devueltos# Pool::resize Redimensiona el Pool Descripción# php public Pool::resize(int $size): voidphp 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.