Merge remote-tracking branch 'upstream/dev' into dev

merging dev
This commit is contained in:
bopol 2020-02-01 15:11:01 +01:00
commit c5e6bb58bc
25 changed files with 677 additions and 461 deletions

View file

@ -223,6 +223,7 @@ public class DownloadMission extends Mission {
conn.setInstanceFollowRedirects(true);
conn.setRequestProperty("User-Agent", DownloaderImpl.USER_AGENT);
conn.setRequestProperty("Accept", "*/*");
conn.setRequestProperty("Accept-Encoding", "*");
if (headRequest) conn.setRequestMethod("HEAD");