chiark / gitweb /
Allow extra time for initial ssh connection to build server
authorCiaran Gultnieks <ciaran@ciarang.com>
Thu, 20 Sep 2012 13:14:53 +0000 (14:14 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Thu, 20 Sep 2012 13:14:53 +0000 (14:14 +0100)
fdroidserver/build.py

index dfe65cade9c41ee621b128c448052bcd1bd1f346..7c9e70a5a662d0ebd43c3d5a5afdc3e5fd2f84d6 100644 (file)
@@ -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...