[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee93
From: |
Darshit Shah |
Subject: |
Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415) |
Date: |
Tue, 13 Nov 2018 10:48:37 +0000 |
Which is precisely why I suggested the use of an in-memory map that stores the
request URI and the local filename. This way, when using `--mirror`, wget2
knows that `/` was downloaded as `index.html.1` and `/index.html` was
downloaded as `index.html` or any other combination. We could even store this
as a state file to disk (or, just had a crazy idea, yet again use xattr to
store this information)
--
Reply to this email directly or view it on GitLab:
https://gitlab.com/gnuwget/wget2/issues/415#note_116823462
You're receiving this email because of your account on gitlab.com.
- [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415), Darshit Shah, 2018/11/10
- Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415), Tim Rühsen, 2018/11/10
- Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415), Tim Rühsen, 2018/11/12
- Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415), Darshit Shah, 2018/11/13
- Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415), Tim Rühsen, 2018/11/13
- Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415),
Darshit Shah <=
- Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415), Tim Rühsen, 2018/11/13
- Re: [Wget-dev] wget2 | Default Page handling broken by commit 89ff57ee937e6c70d3927c00a9dda75f33947238 (#415), Darshit Shah, 2018/11/13