offload: Increase the connection timeout.

* guix/scripts/offload.scm (open-ssh-session): Set #:timeout to 10.
master
Ludovic Courtès 2016-12-06 01:00:11 +01:00
parent 0237d79717
commit 8d125cfc2e
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 1 deletions

View File

@ -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)