diff options
Diffstat (limited to 'modules/update/update.manager.inc')
| -rw-r--r-- | modules/update/update.manager.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/update/update.manager.inc b/modules/update/update.manager.inc index 7649852bf..c11014af0 100644 --- a/modules/update/update.manager.inc +++ b/modules/update/update.manager.inc @@ -723,8 +723,8 @@ function update_manager_file_get($url) { mkdir($cache_directory); } - if (!file_exists($local)) { - return system_retrieve_file($url, $local); + if (!file_exists($local) || update_delete_file_if_stale($local)) { + return system_retrieve_file($url, $local, FALSE, FILE_EXISTS_REPLACE); } else { return $local; |