diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-11-02 12:00:47 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-11-25 23:44:20 +0100 |
commit | 9e76eed37fc4cb0f70c1cc1441dfba92b25c33eb (patch) | |
tree | 69fb7fc65fb75e37df7a7778708b2330c74f9e6c /gnu | |
parent | 21531add3205e400707c8fbfd841845f9a71863a (diff) | |
download | guix-9e76eed37fc4cb0f70c1cc1441dfba92b25c33eb.tar.gz |
offload: Reuse SSH session during 'transfer-and-offload'.
* guix/scripts/offload.scm (remote-pipe): Replace 'machine' parameter with 'session'. Remove 'open-ssh-session' call. (register-gc-root): Replace 'machine' with 'session'. Use ' session-get' instead of 'build-machine-name'. (remove-gc-roots, offload, send-files, retrieve-files): Likewise. (transfer-and-offload): Add 'open-ssh-session' call. Handle 'offload' errors here. (machine-load): Add call to 'open-ssh-session'.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions