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

reset buildserver vm if vagrant uuid not present

Browse source
This commit is contained in:
Michael Pöhn 2017-04-13 18:41:50 +02:00 • committed by Hans-Christoph Steiner
parent 510efaa024
commit 48159f005a
2 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
fdroidserver/build.py
View file

@ -242,8 +242,11 @@ def vm_new_get_clean_builder(serverdir, reset=False):
vm = vmtools.get_build_vm(serverdir)
if reset:
logging.info('resetting buildserver by request')
elif not vm.vagrant_uuid_okay():
logging.info('resetting buildserver, bceause vagrant vm is not okay.')
reset = True
elif not vm.snapshot_exists('fdroidclean'):
logging.info("resetting buildserver, because snapshot 'fdroidclean' is not present")
logging.info("resetting buildserver, because snapshot 'fdroidclean' is not present.")
reset = True
if reset: