diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-12-06 01:00:11 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-12-06 01:00:11 +0100 |
commit | 8d125cfc2e5cb0825bb40893ec3e940f85f1b235 (patch) | |
tree | 6bbd8af5c5c531ba7b2cfc029dc9c9059b282cfa | |
parent | 0237d7971742ccfe5670455debb1feca9a491a0f (diff) | |
download | patches-8d125cfc2e5cb0825bb40893ec3e940f85f1b235.tar patches-8d125cfc2e5cb0825bb40893ec3e940f85f1b235.tar.gz |
offload: Increase the connection timeout.
* guix/scripts/offload.scm (open-ssh-session): Set #:timeout to 10.
-rw-r--r-- | guix/scripts/offload.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/scripts/offload.scm b/guix/scripts/offload.scm index 55d4c93c64..ebff11664d 100644 --- a/guix/scripts/offload.scm +++ b/guix/scripts/offload.scm @@ -173,7 +173,7 @@ private key from '~a': ~a") (session (make-session #:user (build-machine-user machine) #:host (build-machine-name machine) #:port (build-machine-port machine) - #:timeout 5 ;seconds + #:timeout 10 ;seconds ;; #:log-verbosity 'protocol #:identity (build-machine-private-key machine) |