David Bauer 506fdee1ed
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 >
2020-11-21 18:02:13 +08:00
2020-07-08 12:02:08 +08:00
2020-05-24 22:45:18 +08:00
2020-02-21 02:41:00 +08:00
2018-01-09 14:38:15 +08:00
2020-11-03 11:54:47 +08:00
2020-11-21 17:58:25 +08:00
2017-09-06 19:19:45 +08:00
2020-02-21 02:41:00 +08:00
2017-09-06 19:19:45 +08:00
2017-09-06 19:19:45 +08:00
2018-01-15 18:26:41 +08:00
2017-09-06 19:19:45 +08:00
2019-01-03 19:29:28 +08:00
2017-09-06 19:19:45 +08:00
2019-01-03 19:29:28 +08:00
2020-11-21 17:58:30 +08:00
2017-09-06 19:19:45 +08:00
2017-09-06 19:19:45 +08:00
2017-09-06 19:19:45 +08:00
2020-02-21 02:41:00 +08:00
2020-11-21 18:02:13 +08:00
2020-08-04 23:54:03 +08:00
2020-07-12 23:11:33 +08:00
2017-09-06 19:19:45 +08:00
2020-02-21 02:41:00 +08:00
2018-09-07 13:43:55 +08:00
2019-12-13 08:25:54 -08:00
2020-07-12 12:17:33 +08:00
2020-02-21 02:41:00 +08:00
2020-09-01 17:29:22 +08:00
2020-11-03 11:53:49 +08:00
2020-09-15 11:37:24 +08:00
2020-02-21 02:41:00 +08:00
2020-02-21 02:41:00 +08:00
2020-11-14 23:34:48 +08:00
2020-11-14 23:34:21 +08:00
2020-11-14 13:51:51 +08:00
2019-03-07 19:45:12 +08:00
2017-09-06 19:19:45 +08:00
2017-09-06 19:19:45 +08:00
2020-02-21 02:41:00 +08:00
2020-11-12 11:10:10 +08:00
2019-10-22 23:14:35 -07:00
2020-09-26 11:33:12 +08:00
2019-01-03 19:29:28 +08:00
2020-02-21 02:41:00 +08:00
2017-09-06 19:19:45 +08:00
2017-09-06 19:19:45 +08:00
2020-02-21 02:41:00 +08:00
2017-09-06 19:19:45 +08:00
2020-02-21 02:41:00 +08:00
2017-09-06 19:19:45 +08:00
2017-09-06 19:19:45 +08:00
2020-02-21 02:41:00 +08:00
2019-01-03 19:29:28 +08:00
2020-02-21 02:41:00 +08:00
2018-09-07 13:43:55 +08:00
2020-11-14 13:45:59 +08:00
2017-09-06 19:19:45 +08:00
2020-02-21 02:41:00 +08:00
2020-02-21 02:41:00 +08:00
2020-02-21 02:41:00 +08:00
2020-09-26 11:34:00 +08:00
2020-02-21 02:41:00 +08:00
2017-09-06 19:19:45 +08:00
2019-12-13 08:25:54 -08:00
506fdee1ed