Re: [Bug-wget] [PATCH] Fixes for issues found by Coverity static analysis

2018-08-27 Thread Tim Rühsen
On 08/27/2018 11:01 AM, Tomas Hozza wrote: > Hi Darshit. > > On 25.08.2018 08:20, Darshit Shah wrote: >> Hi Tomas, >> >> Thanks for running the scan and the patches you've made! I briefly glanced >> through those and they seem fine. Of course, they will need to be slightly >> modified to apply to

Re: [Bug-wget] info wget: some improvement proposals on the documentation-content

2018-08-27 Thread Tim Rühsen
Thank you, Kalle ! We'll go through the docs soon and amend them. On 08/26/2018 10:08 AM, kalle wrote: > hello, > here my proposals: > > chapter 2, part "download all the URLs specified": make it clearer, what > that exactly means in relationship to URLs describing a directory. Is > the whole

Re: [Bug-wget] [PATCH] Fixes for issues found by Coverity static analysis

2018-08-27 Thread Tomas Hozza
Hi Darshit. On 25.08.2018 08:20, Darshit Shah wrote: > Hi Tomas, > > Thanks for running the scan and the patches you've made! I briefly glanced > through those and they seem fine. Of course, they will need to be slightly > modified to apply to the current git HEAD. I can do that in the coming