Next:
POOL_delete
Up:
./inc/pool.php
Previous:
POOL_setProperty
Contents
POOL_getProperty
Description:
returns the contents of a property file
Parameter:
poolName: name of the pool
property: name of the pool property
