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/libexpr/primops/fetchGit.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/libexpr/primops/fetchGit.cc')
0 files changed, 0 insertions, 0 deletions