diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-08-29 16:05:05 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-08-29 16:24:17 +0200 |
commit | 61fe9ced7da7eefceb931af0cb7363b721f5bdd6 (patch) | |
tree | 907eb2e20f57a35a33ba452bd53bca3ef8e00d2c /gnu/packages/idris.scm | |
parent | d7965b58d25c9c7648ba5682223f32d759fdffda (diff) | |
download | guix-61fe9ced7da7eefceb931af0cb7363b721f5bdd6.tar guix-61fe9ced7da7eefceb931af0cb7363b721f5bdd6.tar.gz |
copy, offload: Explicitly close SSH channels and sessions.
Fixes <https://bugs.gnu.org/42740>.
* guix/scripts/copy.scm (send-to-remote-host): Keep the result of
'connect-to-remote-daemon' in scope, and explicitly close it after the
call to 'send-files'.
(retrieve-from-remote-host): Explicitly close REMOTE and disconnect
SESSION.
* guix/scripts/offload.scm (transfer-and-offload): Explicitly close
STORE and disconnect SESSION upon completion.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions