diff --git a/toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/board/ArduinoManager.java b/toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/board/ArduinoManager.java index 64eb2b07231..87af37bc380 100644 --- a/toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/board/ArduinoManager.java +++ b/toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/board/ArduinoManager.java @@ -100,7 +100,12 @@ public class ArduinoManager { File packageFile = packagePath.toFile(); if (download) { Files.createDirectories(ArduinoPreferences.getArduinoHome()); - Files.copy(packageUrl.openStream(), packagePath, StandardCopyOption.REPLACE_EXISTING); + try { + Files.copy(packageUrl.openStream(), packagePath, StandardCopyOption.REPLACE_EXISTING); + } catch (IOException e) { + // make sure we add the package anyway if it exists + Activator.log(e); + } } if (packageFile.exists()) { try (Reader reader = new FileReader(packageFile)) { diff --git a/toolchains/arduino/org.eclipse.cdt.arduino.ui/plugin.xml b/toolchains/arduino/org.eclipse.cdt.arduino.ui/plugin.xml index 3e5c883c989..2d5f0e6d659 100644 --- a/toolchains/arduino/org.eclipse.cdt.arduino.ui/plugin.xml +++ b/toolchains/arduino/org.eclipse.cdt.arduino.ui/plugin.xml @@ -92,12 +92,6 @@ id="org.eclipse.cdt.arduino.preference.page" name="%preferencePage.name"> - -