diff options
Diffstat (limited to 'toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/board/ArduinoManager.java')
| -rw-r--r-- | toolchains/arduino/org.eclipse.cdt.arduino.core/src/org/eclipse/cdt/arduino/core/internal/board/ArduinoManager.java | 7 |
1 files changed, 6 insertions, 1 deletions
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)) { |