rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-19 13:54:23 +01:00
Code Issues Releases Activity

Using new CustomProxySelector in FileDownloader

Browse Source
This commit is contained in:
Federico Fissore 2015-08-07 16:23:19 +02:00
parent 708da3bd86
commit 916de939e6
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
arduino-core/src/cc/arduino/utils/network/FileDownloader.java
View File

@ -29,8 +29,10 @@
package cc.arduino.utils.network;
import cc.arduino.net.CustomProxySelector;
import org.apache.commons.codec.binary.Base64;
import org.apache.commons.compress.utils.IOUtils;
import processing.app.PreferencesData;
import java.io.File;
import java.io.IOException;
@ -120,7 +122,10 @@ public class FileDownloader extends Observable {
setStatus(Status.CONNECTING);
Proxy proxy = ProxySelector.getDefault().select(downloadUrl.toURI()).get(0);
Proxy proxy = new CustomProxySelector(PreferencesData.getMap()).getProxyFor(downloadUrl.toURI());
if ("true".equals(System.getProperty("DEBUG"))) {
System.err.println("Using proxy " + proxy);
}
HttpURLConnection connection = (HttpURLConnection) downloadUrl.openConnection(proxy);