mirror of https://github.com/noisymime/Arduino.git
Splashscreen
This commit is contained in:
parent
2aec5ed4fb
commit
251bb76ece
|
@ -581,10 +581,7 @@ public class BaseNoGui {
|
||||||
if (!indexFile.isFile()) {
|
if (!indexFile.isFile()) {
|
||||||
File distFile = findDefaultPackageFile();
|
File distFile = findDefaultPackageFile();
|
||||||
if (distFile != null) {
|
if (distFile != null) {
|
||||||
// If present, unpack distribution file into preferences folder
|
|
||||||
ArchiveExtractor.extract(distFile, BaseNoGui.getSettingsFolder(), 0);
|
ArchiveExtractor.extract(distFile, BaseNoGui.getSettingsFolder(), 0);
|
||||||
|
|
||||||
// TODO: The first distribution file may be removed after extraction?
|
|
||||||
} else {
|
} else {
|
||||||
// Otherwise create an empty packages index
|
// Otherwise create an empty packages index
|
||||||
FileOutputStream out = null;
|
FileOutputStream out = null;
|
||||||
|
|
Loading…
Reference in New Issue