diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-10-15 12:24:09 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-15 13:56:41 +0200 |
| commit | 00d732195812234f578a9513b32010fbe6469cd1 (patch) | |
| tree | 762089240dd0cc144f07f05c27498edc4c631c48 /guix/ssh.scm | |
| parent | e464ac667297d2acf57e52438a39cadc87b95da2 (diff) | |
| download | patches-00d732195812234f578a9513b32010fbe6469cd1.tar patches-00d732195812234f578a9513b32010fbe6469cd1.tar.gz | |
offload: Set a longer SSH session timeout.
Fixes <https://bugs.gnu.org/37762>.
* guix/scripts/offload.scm (open-ssh-session): Add 'max-silent-time'
parameter. Add call to 'session-set!' before returning SESSION.
(transfer-and-offload): Pass MAX-SILENT-TIME to 'open-ssh-session'.
(%short-timeout): New variable.
(choose-build-machine): Pass %SHORT-TIMEOUT to 'open-ssh-session'.
(check-machine-availability): Likewise.
(check-machine-status): Likewise.
Diffstat (limited to 'guix/ssh.scm')
0 files changed, 0 insertions, 0 deletions