diff options
author | Christopher Baines <mail@cbaines.net> | 2020-03-02 20:20:40 +0000 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2020-04-26 19:37:25 +0100 |
commit | 928dc1bb1c1e96e6dfbe03dac2185ecf41a7b4f5 (patch) | |
tree | 8e7c7fbb1b44c8d7568605c825e787cb70604b58 /guix/scripts | |
parent | d5abb3049ee4e97865f691eba4c59f5b51de3271 (diff) |
substitute: Close port at the end of http-multiple-get.
* guix/scripts/substitute.scm (http-multiple-get): Add close-port call.
Diffstat (limited to 'guix/scripts')
-rwxr-xr-x | guix/scripts/substitute.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/guix/scripts/substitute.scm b/guix/scripts/substitute.scm index 0777aa3d3e..ba2b2d2d4e 100755 --- a/guix/scripts/substitute.scm +++ b/guix/scripts/substitute.scm @@ -537,6 +537,7 @@ initial connection on which HTTP requests are sent." (() (match (drop requests processed) (() + (close-port p) (reverse result)) (remainder (connect p remainder result)))) |