1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00

Modified preferences initialization in BaseNoGui.

This commit is contained in:
Claudio Indellicati 2014-09-23 10:55:47 +02:00 committed by Cristian Maglie
parent 1974d77abe
commit 2de206cccd
2 changed files with 3 additions and 5 deletions

View File

@ -101,7 +101,7 @@ public class Base {
BaseNoGui.initPortableFolder(); BaseNoGui.initPortableFolder();
BaseNoGui.prescanParameters(args); BaseNoGui.initParameters(args);
BaseNoGui.initVersion(); BaseNoGui.initVersion();
VERSION_NAME = BaseNoGui.VERSION_NAME; VERSION_NAME = BaseNoGui.VERSION_NAME;

View File

@ -677,9 +677,7 @@ public class BaseNoGui {
initPortableFolder(); initPortableFolder();
PreferencesData.init(null); initParameters(args);
prescanParameters(args);
init(args); init(args);
} }
@ -744,7 +742,7 @@ public class BaseNoGui {
} }
} }
static public void prescanParameters(String args[]) { static public void initParameters(String args[]) {
String preferencesFile = null; String preferencesFile = null;
// Do a first pass over the commandline arguments, the rest of them // Do a first pass over the commandline arguments, the rest of them