diff options
-rw-r--r-- | tool/downloader.rb | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index 9c72856484..0386fe273b 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -285,14 +285,20 @@ class Downloader end def self.save_cache(cache, file, name) - if cache and !cache.eql?(file) and !cache.exist? + return unless cache or cache.eql?(file) + begin + st = cache.stat + rescue begin file.rename(cache) rescue - else - link_cache(cache, file, name) + return end + else + return unless st.mtime > file.lstat.mtime + file.unlink end + link_cache(cache, file, name) end def self.with_retry(max_times, &block) |