From: Ciaran Gultnieks Date: Thu, 20 Sep 2012 13:14:53 +0000 (+0100) Subject: Allow extra time for initial ssh connection to build server X-Git-Tag: 0.1~742 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=8983aaf2f955af06d1e58eac32cc24712921f315;p=fdroidserver.git Allow extra time for initial ssh connection to build server --- 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...