David Bauer
d369993898
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-20 02:35:43 +01:00
2020-09-22 20:36:04 +02:00
2020-05-24 14:44:00 +02:00
2020-01-02 23:59:20 +01:00
2017-12-08 19:41:18 +01:00
2020-11-02 08:39:49 +01:00
2020-05-19 08:05:22 +02:00
2020-05-21 19:11:24 +02:00
2020-05-19 08:06:29 +02:00
2020-11-18 21:50:53 +01:00
2013-10-28 15:15:09 +00:00
2020-03-01 21:35:59 +01:00
2017-05-02 14:33:58 +02:00
2017-05-02 14:33:58 +02:00
2018-01-13 07:58:46 +01:00
2017-07-14 04:09:16 +02:00
2018-11-01 17:16:52 +01:00
2011-02-27 15:39:27 +00:00
2018-11-01 17:16:52 +01:00
2020-11-18 21:50:58 +01:00
2016-04-28 16:43:28 +02:00
2016-10-06 22:00:10 +02:00
2015-10-07 10:51:18 +00:00
2019-11-04 11:11:19 +00:00
2020-11-20 02:35:43 +01:00
2020-08-04 09:28:39 +02:00
2020-07-12 13:29:28 +01:00
2017-05-11 13:43:01 -07:00
2019-09-15 19:54:03 +02:00
2018-07-05 01:30:57 +08:00
2019-09-14 11:43:19 +02:00
2020-07-11 14:42:32 +02:00
2020-01-01 17:01:02 +01:00
2020-08-31 11:18:06 +01:00
2020-11-02 08:39:49 +01:00
2020-09-14 17:11:04 +02:00
2019-01-31 12:35:29 +01:00
2019-01-21 16:35:40 +01:00
2020-11-12 18:19:44 +01:00
2020-07-13 22:45:04 +02:00
2020-11-13 13:17:53 +01:00
2019-01-26 21:43:07 +01:00
2016-03-24 22:40:13 +01:00
2009-01-25 19:00:43 +00:00
2020-07-30 21:49:07 +02:00
2020-11-09 10:54:29 +00:00
2019-02-25 17:36:16 +01:00
2020-09-25 19:32:33 +02:00
2018-09-10 10:01:58 +02:00
2019-06-21 12:03:43 +02:00
2016-04-28 16:43:28 +02:00
2015-08-25 07:46:32 +00:00
2019-06-16 16:40:08 +02:00
2016-02-01 10:43:27 +00:00
2020-10-11 16:16:24 +02:00
2016-04-28 16:43:28 +02:00
2011-03-01 05:40:38 +00:00
2019-09-01 18:38:05 +02:00
2018-12-19 15:36:05 +01:00
2020-06-02 08:37:54 +02:00
2020-06-02 08:33:11 +02:00
2020-06-02 13:06:42 +02:00
2019-10-21 14:07:08 +02:00
2018-06-05 10:07:42 -04:00
2020-11-12 18:21:55 +01:00
2016-06-07 11:42:52 +02:00
2019-12-31 11:41:07 +01:00
2019-12-31 11:43:15 +01:00
2019-09-14 11:43:19 +02:00
2020-09-25 19:32:33 +02:00
2019-07-03 07:45:00 +02:00
2010-04-14 22:21:15 +00:00
2019-11-03 04:20:21 +01:00
d369993898