From b72726a61d5d7619debde302745c2008c572cfc1 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Thu, 6 Oct 2022 12:19:13 +0100 Subject: [PATCH] =?utf8?q?Patch=20for=20JAL-4074=20-=20any=20content=20endin?= =?utf8?q?g=20in=20=E2=80=98gzip=E2=80=99=20recognised=20as=20a=20gzipped=20?= =?utf8?q?stream=20to=20decompress?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- src/jalview/io/FileParse.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/io/FileParse.java b/src/jalview/io/FileParse.java index 2dec559..d3a6ba9 100755 --- a/src/jalview/io/FileParse.java +++ b/src/jalview/io/FileParse.java @@ -343,7 +343,7 @@ public class FileParse } String encoding = _conn.getContentEncoding(); String contentType = _conn.getContentType(); - boolean isgzipped = "application/x-gzip".equalsIgnoreCase(contentType) + boolean isgzipped = "application/x-gzip".equalsIgnoreCase(contentType) || contentType.endsWith("gzip") || "gzip".equals(encoding); Exception e = null; InputStream inputStream = _conn.getInputStream(); -- 1.7.10.2