Fix download package index from external sources

Mattia Bertorello · Mattia Bertorello · commit 412b6d1bf30f · 2019-07-03T18:38:08.000+02:00
diff --git a/arduino-core/src/cc/arduino/contributions/DownloadableContributionsDownloader.java b/arduino-core/src/cc/arduino/contributions/DownloadableContributionsDownloader.java
@@ -170,6 +170,8 @@ public void downloadIndexAndSignature(MultiStepProgress progress, List<String> d
           downloadedFilesAccumulator.remove(packageIndex.getName());
         }
       } else {
+        // Move the package index to the destination when the signature is not necessary
+        Files.move(packageIndexTemp.toPath(), packageIndex.toPath(), StandardCopyOption.REPLACE_EXISTING);
         log.info("The domain is not selected to verify the signature. packageIndex: {}", packageIndexUrl);
       }
     } catch (Exception e) {

Original file line number	Diff line number	Diff line change
`@@ -170,6 +170,8 @@ public void downloadIndexAndSignature(MultiStepProgress progress, List<String> d`
`170`	`170`	`downloadedFilesAccumulator.remove(packageIndex.getName());`
`171`	`171`	`}`
`172`	`172`	`} else {`
	`173`	`+ // Move the package index to the destination when the signature is not necessary`
	`174`	`+ Files.move(packageIndexTemp.toPath(), packageIndex.toPath(), StandardCopyOption.REPLACE_EXISTING);`
`173`	`175`	`log.info("The domain is not selected to verify the signature. packageIndex: {}", packageIndexUrl);`
`174`	`176`	`}`
`175`	`177`	`} catch (Exception e) {`