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

Boards/Lib managers: use system proxy settings (got rid of our proxy settings

Browse Source 
in File > Preferences)
This commit is contained in:
Federico Fissore
2015-06-03 10:24:07 +02:00
parent e9d66015a4
commit 0cb6b48e24
5 changed files with 40 additions and 394 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -742,8 +742,10 @@ public class BaseNoGui {
}
static public void main(String args[]) throws Exception {
if (args.length == 0)
if (args.length == 0) {
showError(_("No parameters"), _("No command line parameters found"), null);
}
System.setProperty("java.net.useSystemProxies", "true");
Runtime.getRuntime().addShutdownHook(new Thread(DeleteFilesOnShutdown.INSTANCE));