[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-wget] Query about correcting for DST with Wget
From: |
Jernej Simončič |
Subject: |
Re: [Bug-wget] Query about correcting for DST with Wget |
Date: |
Sun, 13 Nov 2016 21:39:32 +0100 |
On Sunday, November 13, 2016, 19:53:06, Eli Zaretskii wrote:
> Does "while DST is in effect" mean that you download the file when DST
> is in effect, or you examine the timestamp of the file when the DST is
> in effect?
I download the file when DST is(n't) in effect (I download that
specific URL quite often, on different computers).
> Also, how do you display the timestamp of the file? with what program?
Windows Explorer, or dir in command prompt.
I just remembered that there may be a 3rd explanation: some msvcrt
functions return different timestamps depending on whether DST is in
effect or not - at least with GIMP you can observe that it'll rescan
all fonts the first time it's run after DST change (I'm not sure if
this applies only to msvcrt.dll [which MinGW uses by default], or also
to the runtimes shipped with newer Visual Studio versions).
--
< Jernej Simončič ><><><><>< http://eternallybored.org/ >
If you need n items of anything, you will have n-1 in stock.
-- Sueker's Note
- [Bug-wget] Query about correcting for DST with Wget, Tim, 2016/11/10
- Re: [Bug-wget] Query about correcting for DST with Wget, Eli Zaretskii, 2016/11/11
- Re: [Bug-wget] Query about correcting for DST with Wget, Jernej Simončič, 2016/11/13
- Re: [Bug-wget] Query about correcting for DST with Wget, Eli Zaretskii, 2016/11/13
- Re: [Bug-wget] Query about correcting for DST with Wget,
Jernej Simončič <=
- Re: [Bug-wget] Query about correcting for DST with Wget, Eli Zaretskii, 2016/11/14
- Re: [Bug-wget] Query about correcting for DST with Wget, Tim Ruehsen, 2016/11/14
- Re: [Bug-wget] Query about correcting for DST with Wget, Tim Ruehsen, 2016/11/15
- Re: [Bug-wget] Query about correcting for DST with Wget, Eli Zaretskii, 2016/11/15
- Re: [Bug-wget] Query about correcting for DST with Wget, Tim Ruehsen, 2016/11/14