PHP - Pool::resize() 函数

Pool::resize() 函数可以调整 Pool 的大小。

语法

public void Pool::resize( integer $size )

Pool::resize() 函数返回 void。