diff options
author | Doug Schaefer | 2016-05-04 14:49:33 +0000 |
---|---|---|
committer | Doug Schaefer | 2016-05-06 15:02:05 +0000 |
commit | 3f660b725bdc6a9a3dac3eef5e3afb76f8012a3a (patch) | |
tree | b244f5fec9eb15ad99cd558f1e89586547bfdbab /toolchains/arduino/org.eclipse.cdt.arduino.core | |
parent | ee48887d9d3e946ba892b7f9618257fe31b929dd (diff) | |
download | org.eclipse.cdt-3f660b725bdc6a9a3dac3eef5e3afb76f8012a3a.tar.gz org.eclipse.cdt-3f660b725bdc6a9a3dac3eef5e3afb76f8012a3a.tar.xz org.eclipse.cdt-3f660b725bdc6a9a3dac3eef5e3afb76f8012a3a.zip |
Remove the Arduino Boards Preference Page.
Change-Id: Ie72dd2a058f93929cd64a95319743995a63d20ff
Diffstat (limited to 'toolchains/arduino/org.eclipse.cdt.arduino.core')
-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)) { |