From 880e5c71b60855c057a0d7b72a7bcd83a887ba0e Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Sat, 18 Jan 2020 17:03:04 -0500 Subject: [PATCH] maybe it wasn't cookies --- build/jre/src/Downloader.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build/jre/src/Downloader.java b/build/jre/src/Downloader.java index 347bce9a2..546229b78 100644 --- a/build/jre/src/Downloader.java +++ b/build/jre/src/Downloader.java @@ -193,15 +193,15 @@ public class Downloader extends Task { // TODO should this just do one of the throw new BuildException("No redirect location provided"); } - List cookies = headers.get("Set-Cookie"); conn = (HttpURLConnection) new URL(url).openConnection(); + /* + List cookies = headers.get("Set-Cookie"); if (cookies != null) { for (String cookie : cookies) { System.out.println("Setting cookie " + cookie); conn.setRequestProperty("Cookie", cookie); } } - /* if (cookieMaybe.isPresent()) { conn.setRequestProperty("Cookie", cookieMaybe.get()); }