From 6523b8927fa73a251309da1f2f6a376fa2a98d96 Mon Sep 17 00:00:00 2001 From: gohai Date: Fri, 27 May 2016 07:15:57 +0200 Subject: [PATCH 1/2] Fix Downloader Addresses #4496. Enough to get JRE downloads to work again. --- build/jre/src/Downloader.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/build/jre/src/Downloader.java b/build/jre/src/Downloader.java index 5c989684e..faef58787 100644 --- a/build/jre/src/Downloader.java +++ b/build/jre/src/Downloader.java @@ -158,8 +158,10 @@ public class Downloader extends Task { } List 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(); From 94e0c09fa56f68fec1ca623aab3909869d9be121 Mon Sep 17 00:00:00 2001 From: gohai Date: Fri, 27 May 2016 07:40:25 +0200 Subject: [PATCH 2/2] Remove superfluous slash in rsync source path in build.xml This didn't break anything, but I noticed the extra slash while looking at this (unrelated) error message: rsync: change_dir "/home/pi/Downloads/processing-jvm-fonts/build/linux//jdk1.8.0_77/jre" failed: No such file or directory (2) --- build/build.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build/build.xml b/build/build.xml index a27add870..1b47b45d0 100644 --- a/build/build.xml +++ b/build/build.xml @@ -835,11 +835,11 @@ --> - + - +