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.scm | |
| parent | e464ac667297d2acf57e52438a39cadc87b95da2 (diff) | |
| download | guix-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.scm')
0 files changed, 0 insertions, 0 deletions