//* DEBUG: */ echo __LINE__.": DESTROY!<br />\n";
// Remove cache files
if ($cacheInstance->cache_file("extensions", true)) $cacheInstance->cache_destroy();
if ($cacheInstance->cache_file("mod_reg", true)) $cacheInstance->cache_destroy();
if ($cacheInstance->cache_file("config", true)) $cacheInstance->cache_destroy();
//* DEBUG: */ echo __LINE__.": DESTROY!<br />\n";
// Remove cache files
if ($cacheInstance->cache_file("extensions", true)) $cacheInstance->cache_destroy();
if ($cacheInstance->cache_file("mod_reg", true)) $cacheInstance->cache_destroy();
if ($cacheInstance->cache_file("config", true)) $cacheInstance->cache_destroy();