diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-07-11T21·53-0400 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-07-11T21·53-0400 |
commit | b74d92755d1ca6a1538f292dcb5a906f66af7b51 (patch) | |
tree | 4369859a40dc8a13b58e2d507edace3c239078b3 /src/Makefile.am | |
parent | 09a6321aeb7393cdb4b5af62d2e4106d83124fdf (diff) |
download-from-binary-cache: Use HEAD requests if possible
In "nix-env -qas", we don't need the substitute info, we just need to know if it exists. This can be done using a HTTP HEAD request, which saves bandwidth. Note however that curl currently has a bug that prevents it from reusing HTTP connections if HEAD requests return a 404: https://sourceforge.net/tracker/?func=detail&aid=3542731&group_id=976&atid=100976 Without the patch attached to the issue, using HEAD is actually quite a bit slower than GET.
Diffstat (limited to 'src/Makefile.am')
0 files changed, 0 insertions, 0 deletions