+ //* DEBUG: */ logDebugMessage(__FUNCTION__, __LINE__, 'pool=' . $pool);
+ // Default is empty pool
+ $poolArray = array();
+
+ // Is it set?
+ if (isset($GLOBALS['inc_pool'][$pool])) {
+ // Return found pool (array)
+ $poolArray = $GLOBALS['inc_pool'][$pool];
+ } // END - if
+
+ // Return it
+ return $poolArray;