// By default no cache is set
$cacheMode = "no";
+// Load sql_patchrs extension alone
+LOAD_EXTENSION("sql_patches");
+
//
// Load extensions
//
// Cache file is damaged so kill it
$cacheInstance->destroyCacheFile();
- // Skip any further execution
+ // Retry it
+ require(__FILE__);
return;
} // END - if
if ($EXT_DUMMY['ext_css'][$k] == "Y") $EXT_CSS_FILES[] = "".$name.".css";
// Load extension file itself
- if (($EXT_DUMMY['ext_active'][$k] == "Y") || ($EXT_DUMMY['ext_keep'][$k] == "Y") || (IS_ADMIN())) {
+ if ((($EXT_DUMMY['ext_active'][$k] == "Y") || ($EXT_DUMMY['ext_keep'][$k] == "Y") || (IS_ADMIN())) && (!in_array($name, array("sql_patches", "cache")))) {
$EXT_POOL[] = $name;
} // END - if
$EXT_ALWAYS_ACTIVE = "N";
// Load extension
- if (($content['ext_name'] != "sql_patches") && (($content['ext_name'] == "cache") || (!EXT_IS_ACTIVE("cache")))) {
+ if (($content['ext_name'] != "sql_patches") && (($content['ext_name'] != "cache") || (!EXT_IS_ACTIVE("cache")))) {
// Load extension
LOAD_EXTENSION($content['ext_name']);
} else {