arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-17 22:23:10 +03:00
Code Activity

Getting rid of native stuff. Avoid native stuff: it will break. Fixes #2828, #2829, #2830

Browse Source
This commit is contained in:
Federico Fissore
2015-03-30 09:30:03 +02:00
parent 3788128385
commit b65b576eb0
11 changed files with 44 additions and 300 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-core/src/processing/app/BaseNoGui.java
View File

@ -582,7 +582,7 @@ public class BaseNoGui {
if (!indexFile.isFile() || !(avrCoreFolder.exists() && avrCoreFolder.isDirectory())) {
File distFile = findDefaultPackageFile();
if (distFile != null) {
ArchiveExtractor.extract(distFile, BaseNoGui.getSettingsFolder(), 0, true);
new ArchiveExtractor(getPlatform()).extract(distFile, BaseNoGui.getSettingsFolder(), 0, true);
} else if (!indexFile.isFile()) {
// Otherwise create an empty packages index
FileOutputStream out = null;