Next:
POOL_getProperty
Up:
./inc/pool.php
Previous:
POOL_create
Contents
POOL_setProperty
Description:
sets the contents of a property file
Parameter:
poolName: name of the pool
property: name of the pool property
value: value to write in the pool property file