f9e7b6cf61
This adds a http HEAD before the download is done. That was already the case when the assistant was running, and it seems worth it to avoid filling up the whole disk, like happened to my server today. |
||
---|---|---|
.. | ||
tests | ||
changelog | ||
compat | ||
control | ||
copyright | ||
doc-base | ||
menu | ||
NEWS | ||
rules |