diff options
| author | David Bauer <mail@david-bauer.net> | 2020-11-18 16:02:23 +0100 |
|---|---|---|
| committer | David Bauer <mail@david-bauer.net> | 2020-11-20 02:35:43 +0100 |
| commit | d36999389890fb952fc7cc8c0db8e1bbb671af12 (patch) | |
| tree | cd97371bcd643868514da74d5abe09a708eb75a9 /scripts/dl_github_archive.py | |
| parent | 418362b1cc106b9aca3905150199f60548906fff (diff) | |
| download | upstream-d36999389890fb952fc7cc8c0db8e1bbb671af12.tar.gz upstream-d36999389890fb952fc7cc8c0db8e1bbb671af12.tar.bz2 upstream-d36999389890fb952fc7cc8c0db8e1bbb671af12.zip | |
scripts: download.pl: retry download using filename
With this commit, the download script will try downloading source files
using the filename instead of the url-filename in case the previous
download attempt using the url-filename failed.
This is required, as the OpenWrt sources mirrors serve files using the
filename files might be renamed to after downloading. If the original
mirror for a file where url-filename and filename do not match goes
down, the download failed prior to this patch.
Further improvement can be done by performing this only for the
OpenWrt sources mirrors.
Signed-off-by: David Bauer <mail@david-bauer.net>
Diffstat (limited to 'scripts/dl_github_archive.py')
0 files changed, 0 insertions, 0 deletions