diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-06-29 22:10:06 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-06-29 22:20:25 +0200 |
| commit | bb7dcaea578c731ecc9bca846995a80a224c33f4 (patch) | |
| tree | 5b0d3e4968b4f155a17aab7915115edf35e08217 /gnu | |
| parent | 013ce67b193326f4dfbdddb3c6445d542476bd93 (diff) | |
| download | gnu-guix-bb7dcaea578c731ecc9bca846995a80a224c33f4.tar gnu-guix-bb7dcaea578c731ecc9bca846995a80a224c33f4.tar.gz | |
substitute-binary: Avoid dangling connections to the server.
* guix/web.scm (open-socket-for-uri): New procedure.
(http-fetch): Add `port' keyword parameter; use it.
* guix/scripts/substitute-binary.scm (%random-state): New variable.
(with-timeout): Wait a little before retrying.
(fetch): Use `open-socket-for-uri', and keep a copy of the socket in
variable `port'. Close PORT upon timeout.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions