backport (small) changes from master
authorNiki Roo <niki@nikiroo.be>
Sat, 25 May 2019 17:25:35 +0000 (19:25 +0200)
committerNiki Roo <niki@nikiroo.be>
Sat, 25 May 2019 17:25:35 +0000 (19:25 +0200)
commit81379e95a2af10ff639d998f9a5dbb0751bd300b
tree2e2ac72d8cf648946c0677b0310dc31e13ec394b
parent3fb0b4a71a70c154a5eeb41b89add4ae6be5a7a1
backport (small) changes from master
src/be/nikiroo/utils/Downloader.java