JAL-2656 recognise non-HTTP URI input streams as gzipped by detecting the gzip magic...
authorJim Procter <jprocter@issues.jalview.org>
Tue, 28 Jul 2020 10:32:46 +0000 (11:32 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 28 Jul 2020 10:32:46 +0000 (11:32 +0100)
commit08ea977287323e63781dddf6f461c0011833bcc2
tree6cb9fbd22c69f81e0a321e653ba126a175237372
parent0a2ad6130c075b62eab8594d29a86eddd9f765a8
JAL-2656 recognise non-HTTP URI input streams as gzipped by detecting the gzip magic header
src/jalview/io/FileParse.java