Complete disable cache if the file is not a *_indexes

Author: Mattia Bertorello

Diff for: arduino-core/src/cc/arduino/utils/network/FileDownloader.java

@@ -164,7 +164,7 @@ private void downloadFile(boolean noResume) throws InterruptedException {
     try {
       setStatus(Status.CONNECTING);
 
-      final Optional<FileDownloaderCache.FileCached> fileCachedOpt = FileDownloaderCache.getFileCached(downloadUrl);
+      final Optional<FileDownloaderCache.FileCached> fileCachedOpt = FileDownloaderCache.getFileCached(downloadUrl, allowCache);
       if (fileCachedOpt.isPresent()) {
         final FileDownloaderCache.FileCached fileCached = fileCachedOpt.get();
 
@@ -175,11 +175,7 @@ private void downloadFile(boolean noResume) throws InterruptedException {
         } else {
           openConnectionAndFillTheFile(noResume);
 
-          if (allowCache) {
-            fileCached.updateCacheFile(outputFile);
-          } else {
-            log.info("The file {} was not cached because allow cache is false", downloadUrl);
-          }
+          fileCached.updateCacheFile(outputFile);
         }
       } else {
         openConnectionAndFillTheFile(noResume);

Diff for: arduino-core/src/cc/arduino/utils/network/FileDownloaderCache.java

@@ -118,10 +118,16 @@ public class FileDownloaderCache {
   }
 
   static Optional<FileCached> getFileCached(final URL remoteURL)
+    throws URISyntaxException, NoSuchMethodException, ScriptException,
+    IOException {
+    return getFileCached(remoteURL, true);
+  }
+
+  static Optional<FileCached> getFileCached(final URL remoteURL, boolean enableCache)
     throws URISyntaxException, NoSuchMethodException, ScriptException,
     IOException {
     // Return always and empty file if the cache is not enable
-    if (!enableCache) {
+    if (!(enableCache && FileDownloaderCache.enableCache)) {
       log.info("The cache is not enable.");
       return Optional.empty();
     }