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:39:35 +0000 (11:39 +0100)
commit9c127c47a7bf73c3e538815635f525fe59f7faba
treeb7ddaf83b4b83899c22d609abdbdfc13f57aa0ba
parent91560f40856280be24f0001d4e9a786a4dce819e
JAL-2656 recognise non-HTTP URI input streams as gzipped by detecting the gzip magic header
src/jalview/io/FileParse.java