next up previous contents
Next: POOL_download Up: ./inc/pool.php Previous: POOL_getSize   Contents

POOL_getDir

Description: returns the directory of the pool
Parameter:


root 2017-06-27