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 | |
| parent | d5abb3049ee4e97865f691eba4c59f5b51de3271 (diff) | |
substitute: Close port at the end of http-multiple-get.
* guix/scripts/substitute.scm (http-multiple-get): Add close-port call.
| -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)))) |