arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-16 11:21:18 +03:00
Code Activity

ContributedPlatform.getResolvedTools returns a copy of the original list (otherwise violating inner state)

Browse Source
This commit is contained in:
Federico Fissore
2015-02-23 15:57:32 +01:00
parent 6007403834
commit 589f514a47
7 changed files with 66 additions and 35 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -13,6 +13,7 @@ import java.util.*;
import java.util.logging.Level;
import java.util.logging.Logger;
import cc.arduino.DefaultUncaughtExceptionHandler;
import org.apache.commons.logging.impl.LogFactoryImpl;
import org.apache.commons.logging.impl.NoOpLog;
@ -712,6 +713,8 @@ public class BaseNoGui {
if (args.length == 0)
showError(_("No parameters"), _("No command line parameters found"), null);
Thread.setDefaultUncaughtExceptionHandler(new DefaultUncaughtExceptionHandler());
initPlatform();
initPortableFolder();
@ -719,8 +722,6 @@ public class BaseNoGui {
initParameters(args);
init(args);
Thread.setDefaultUncaughtExceptionHandler(new DefaultUncaughtExceptionHandler());
}
static public void onBoardOrPortChange() {