From c7b2c6c723caa680aca37171e89e1624a1503af1 Mon Sep 17 00:00:00 2001 From: mMarinetti Date: Fri, 25 May 2012 15:16:43 +0000 Subject: [PATCH] // replaced Tools::file_exists_cache by file_exists() --- install-dev/upgrade/php/deactivate_custom_modules.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-dev/upgrade/php/deactivate_custom_modules.php b/install-dev/upgrade/php/deactivate_custom_modules.php index bf506b1ba..72586e498 100644 --- a/install-dev/upgrade/php/deactivate_custom_modules.php +++ b/install-dev/upgrade/php/deactivate_custom_modules.php @@ -32,7 +32,7 @@ function deactivate_custom_modules() $modules = scandir(_PS_MODULE_DIR_); foreach ($modules AS $name) { - if (is_dir(_PS_MODULE_DIR_.$name) && Tools::file_exists_cache(_PS_MODULE_DIR_.$name.'/'.$name.'.php')) + if (is_dir(_PS_MODULE_DIR_.$name) && file_exists(_PS_MODULE_DIR_.$name.'/'.$name.'.php')) { if (!preg_match('/^[a-zA-Z0-9_-]+$/', $name)) die(Tools::displayError().' (Module '.$name.')');