This one looks like a plan. However I will not be able to work on the
feature till ~15 May. So if anybody have a free time to start this work
- feel free to do it and share patches :)
Thanks, Ruslo
On 22-Apr-16 20:36, Brad King wrote:
On 04/20/2016 09:50 AM, Ruslan Baratov wrote:
1) add_comp
On 04/28/2016 03:13 PM, A. Klitzing wrote:
> - message(FATAL_ERROR \"error: downloading '${remote}' failed
> + message(WARNING \"downloading '\${url}' failed
Thanks for working on this! Please revise the logic to collect
the list of failed URLs in a list and report an error listing
all URLs onl
Hi Brad,
thanks for your advice!
I APPEND the log of every failed download and print that only if no
URL works now. So we reserve the detailed error log of a single
download attempt.
Best regards
André
2016-04-29 19:45 GMT+02:00 Brad King :
> On 04/28/2016 03:13 PM, A. Klitzing wrote:
>> -
