diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-11-20T18·07+0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-20T18·07+0100 |
commit | ebeea068d52abd02adbbfed3a0f7555300d6b048 (patch) | |
tree | fff808c98db200e68bbeacd2f70789fad12fa3a1 /src/libstore/parsed-derivations.cc | |
parent | 5e64470b192271ce60bea2f5c5fcc556227f86a1 (diff) | |
parent | 6bf7dc1baf272b37aa2731544f00491402d323ff (diff) |
Merge pull request #2216 from dtzWill/fix/curl-760-timeout
download: if there are active requests, never sleep for 10s
Diffstat (limited to 'src/libstore/parsed-derivations.cc')
0 files changed, 0 insertions, 0 deletions