diff options
author | 2014-01-04 15:08:06 -0400 | |
---|---|---|
committer | 2014-01-04 15:08:06 -0400 | |
commit | 009d7172cf29aabac762c6e8afccdb04aa3c5a49 (patch) | |
tree | c123f69144083e32079976485c29348b501c1800 /Types/Key.hs | |
parent | 4e64bcbbdb970bc82dc9d47a174cb2296141880c (diff) |
addurl, importfeed: Honor annex.diskreserve as long as the size of the url can be checked.
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.
Diffstat (limited to 'Types/Key.hs')
0 files changed, 0 insertions, 0 deletions