diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-12-19 15:41:46 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-12-23 16:03:32 +0100 |
| commit | be5a75ebb5988b87b2392e2113f6590f353dd6cd (patch) | |
| tree | 6c65eec2720ca03f873b2c399f4fe7ec6a60c72f /gnu/packages/patches/gcc-arm-bug-71399.patch | |
| parent | 769a7e4b97c9e95c9b7e90bdb6edbc0f226bb5a9 (diff) | |
substitute: Reuse connections for '--query'.
This significantly speeds up things like substituting the closure of a
.drv. This is a followup to 5ff521452b9ec2aae9ed8e4bb7bdc250a581f203.
* guix/scripts/substitute.scm (http-multiple-get): Add #:open-connection
and #:keep-alive? and honor them.
(open-connection-for-uri/maybe): Use 'open-connection-for-uri/cached'
instead of 'guix:open-connection-for-uri'. Call 'http-multiple-get'
within 'call-with-cached-connection'.
(open-connection-for-uri/cached): Add #:timeout and #:verify-certificate?
and honor them.
(call-with-cached-connection): Add 'open-connection' parameter and
honor it.
Diffstat (limited to 'gnu/packages/patches/gcc-arm-bug-71399.patch')
0 files changed, 0 insertions, 0 deletions