Changeset 6073 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2013-07-19T01:41:40+02:00 (12 years ago)

Author:

Don-vip

Message:

fix #8886 - Allow to download plugin jars redirected from https to http, like those hosted on github

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginDownloadTask.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/plugins/PluginDownloadTask.java

@@ -22 +22 @@
 import org.openstreetmap.josm.gui.progress.NullProgressMonitor;
 import org.openstreetmap.josm.gui.progress.ProgressMonitor;
+import org.openstreetmap.josm.io.MirroredInputStream;
 import org.openstreetmap.josm.tools.CheckParameterUtil;
 import org.openstreetmap.josm.tools.Utils;
@@ -119 +120 @@
             URL url = new URL(pi.downloadlink);
             synchronized(this) {
-                downloadConnection = Utils.openHttpConnection(url);
-                downloadConnection.setRequestProperty("Cache-Control", "no-cache");
-                downloadConnection.connect();
+                downloadConnection = MirroredInputStream.connectFollowingRedirect(url);
             }
             in = downloadConnection.getInputStream();