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

scan vm provider again after re-creating builder vm

Browse source
This commit is contained in:
Michael Pöhn 2017-03-09 13:30:30 +01:00 • committed by Hans-Christoph Steiner
parent c54e0565d7
commit ce3c959ce5
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
fdroidserver/build.py
View file

@ -259,6 +259,7 @@ def get_clean_vm(reset=False):
retcode, _ = vagrant(['up'], cwd='builder')
if retcode != 0:
raise BuildException("Failed to start build server")
provider = get_vm_provider()
# Open SSH connection to make sure it's working and ready...
logging.info("Connecting to virtual machine...")