Changeset 852 for java/HTTPFileDownloader

Timestamp:

May 3, 2013, 2:25:21 PM (12 years ago)

Author:

alloc

Message:

AEI2.08, AEIUpdater:

• Fixes #3

Location:

java/HTTPFileDownloader

Files:

• .classpath (modified) (1 diff)
• src/net/oni2/httpfiledownloader/FileDownloader.java (modified) (3 diffs)

java/HTTPFileDownloader/.classpath

@@ -3 +3 @@
         <classpathentry kind="src" path="src"/>
         <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
+        <classpathentry combineaccessrules="false" kind="src" path="/ProxySettings"/>
         <classpathentry kind="output" path="bin"/>
 </classpath>

java/HTTPFileDownloader/src/net/oni2/httpfiledownloader/FileDownloader.java

@@ -9 +9 @@
 import java.net.URLConnection;
 import java.util.HashSet;
+
+import net.oni2.ProxySettings;
 
 /**
@@ -147 +149 @@
                 String strEtag = null;
                 RandomAccessFile outFile = null;
+
                 try {
                         outFile = new RandomAccessFile(target, "rw");
@@ -174 +177 @@
                                                 BufferedInputStream input = null;
                                                 try {
-                                                        URLConnection connection = url.openConnection();
-                                                        connection.setRequestProperty("Cache-Control", "no-cache");
+                                                        URLConnection connection = url
+                                                                        .openConnection(ProxySettings.getInstance()
+                                                                                        .getProxy());
+                                                        connection.setRequestProperty("Cache-Control",
+                                                                        "no-cache");
                                                         if (downloaded == 0) {
                                                                 connection.connect();