SQL_FREERESULT($res_ext_crt);
}
-// Load include files
+// Load include files if found
if (!empty($INC_POOL[0])) {
foreach ($INC_POOL as $inc) {
require_once($inc);
} // END - foreach
+
+ // Remove array
+ unset($INC_POOL);
} // END - if
// Uninstall extensions that are no longer in our system