mirror of
https://github.com/arduino/Arduino.git
synced 2025-04-02 19:25:26 +02:00
Boards Manager: index was updated twice. Fixed
This commit is contained in:
parent
ecf432fadc
commit
9d65b414b2
@ -148,7 +148,6 @@ public class ContributionManagerUI extends InstallerJDialog {
|
|||||||
public void run() {
|
public void run() {
|
||||||
try {
|
try {
|
||||||
setProgressVisible(true, "");
|
setProgressVisible(true, "");
|
||||||
installer.updateIndex();
|
|
||||||
List<String> downloadedPackageIndexFiles = installer.updateIndex();
|
List<String> downloadedPackageIndexFiles = installer.updateIndex();
|
||||||
installer.deleteUnknownFiles(downloadedPackageIndexFiles);
|
installer.deleteUnknownFiles(downloadedPackageIndexFiles);
|
||||||
onIndexesUpdated();
|
onIndexesUpdated();
|
||||||
|
Loading…
x
Reference in New Issue
Block a user