diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-08-01 10:56:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-08-01 14:08:07 +0200 |
| commit | cce7427f95c51a04675c4b954b02623cdb8bc7c6 (patch) | |
| tree | 2cfda0aa1d07eb62d03e5520b33f34e27a0714a8 /gnu/packages/agda.scm | |
| parent | dc3ad40c6b1023785352bd995fd1bee2ba9e2770 (diff) | |
download: 'url-fetch' closes its HTTP/HTTPS port.
* guix/build/download.scm (url-fetch)[fetch]: In the http/https case,
close PORT before returning.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions