diff options
| author | Gergely Imreh <imrehg@gmail.com> | 2011-01-27 13:02:51 +0800 |
|---|---|---|
| committer | Gergely Imreh <imrehg@gmail.com> | 2011-01-28 09:46:06 +0800 |
| commit | 09bd408c284771224db5665d937b62d6c36759fb (patch) | |
| tree | 1b454272364d6409f91b37300a17b09ccfa28658 /devscripts/make_readme.py | |
| parent | 9f7963468bf7f19e0cd2e11ed3ed2829f5c68b78 (diff) | |
Set downloaded file's time stamp from last-modified header
This file stamp setting is very relaxed. If there's any problem
along the way (no last-modified header, bad time string format,
no time set privileges,...) or if nothing is downloaded (e.g. using
resumed download but the file was already complete) then nothing
is done.
Diffstat (limited to 'devscripts/make_readme.py')
0 files changed, 0 insertions, 0 deletions