From 8983aaf2f955af06d1e58eac32cc24712921f315 Mon Sep 17 00:00:00 2001 From: Ciaran Gultnieks Date: Thu, 20 Sep 2012 14:14:53 +0100 Subject: [PATCH] Allow extra time for initial ssh connection to build server --- fdroidserver/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fdroidserver/build.py b/fdroidserver/build.py index dfe65cad..7c9e70a5 100644 --- a/fdroidserver/build.py +++ b/fdroidserver/build.py @@ -114,7 +114,7 @@ def build_server(app, thisbuild, vcs, build_dir, output_dir, sdk_path): sshs = ssh.SSHClient() sshs.set_missing_host_key_policy(ssh.AutoAddPolicy()) sshs.connect(sshconfig['hostname'], username=sshconfig['user'], - port=int(sshconfig['port']), timeout=10, look_for_keys=False, + port=int(sshconfig['port']), timeout=60, look_for_keys=False, key_filename=sshconfig['identityfile']) # Get an SFTP connection... -- 2.30.2