mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-07 16:00:28 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Allow extra time for initial ssh connection to build server

Browse source
This commit is contained in:
Ciaran Gultnieks 2012-09-20 14:14:53 +01:00
parent b321e26a65
commit 8983aaf2f9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/build.py
View file

@ -114,7 +114,7 @@ def build_server(app, thisbuild, vcs, build_dir, output_dir, sdk_path):
sshs = ssh.SSHClient() sshs = ssh.SSHClient()
sshs.set_missing_host_key_policy(ssh.AutoAddPolicy()) sshs.set_missing_host_key_policy(ssh.AutoAddPolicy())
sshs.connect(sshconfig['hostname'], username=sshconfig['user'], 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']) key_filename=sshconfig['identityfile'])
# Get an SFTP connection... # Get an SFTP connection...