SQL_FREERESULT($result);
} // END - if
- // Update extension
- if (!empty($ext_ver)) EXTENSION_UPDATE($file, $ext, $ext_ver);
+ // Update extension if extension is installed and outdated
+ //* DEBUG: */ print "ext={$ext},ver={$ext_ver}/".GET_EXT_VERSION($ext)."<br />\n";
+ if ((!empty($ext_ver)) && (EXT_IS_ACTIVE($ext)) && (GET_EXT_VERSION($ext) > $ext_ver)) EXTENSION_UPDATE($file, $ext, $ext_ver);
if (!empty($cacheArray['active_extensions'][$ext])) {
// Maybe we want to keept the current extension active?