Fix Downloader

Addresses #4496. Enough to get JRE downloads to work again.
This commit is contained in:
gohai
2016-05-27 07:15:57 +02:00
parent 173221771e
commit 6523b8927f
+4 -2
View File
@@ -158,8 +158,10 @@ public class Downloader extends Task {
}
List<String> cookies = headers.get("Set-Cookie");
conn = (HttpURLConnection) new URL(url).openConnection();
for (String cookie : cookies) {
conn.setRequestProperty("Cookie", cookie);
if (cookies != null) {
for (String cookie : cookies) {
conn.setRequestProperty("Cookie", cookie);
}
}
conn.setRequestProperty("Cookie", COOKIE);
conn.connect();