diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2025-05-27 00:20:56 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2025-05-27 00:20:56 +0200 |
commit | 3e9586f0a9708afca40ab50a2987fc0090256e2f (patch) | |
tree | 76eba7702fabd1206789dd0079c5ab4969759cd6 | |
parent | 0fe67edd568a53abc1d7514b14d1a8a1d2af3e0e (diff) |
We don't want to bump ctimes since they are used in the layer cache.
-rwxr-xr-x | webmap-download | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/webmap-download b/webmap-download index fcbbd16..2c475fe 100755 --- a/webmap-download +++ b/webmap-download @@ -101,9 +101,6 @@ def download(dest : str, start = time_monotonic() r = download_trystream(url, headers=headers, session=session, timeout=30) if r.status_code == 304: - # XXX shouldn't we call os.utime(dest) to bump its ctime here? - # otherwise we'll make several queries and get multiple 304 - # replies if the file is used by multiple layers logging.info('%s: %d Not Modified', dest, r.status_code) return |