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

build server use up instead or resume; logging

Browse source
This commit is contained in:
Hans-Christoph Steiner 2017-05-22 17:53:12 +02:00
parent c749c68486
commit acf25a3999
2 changed files with 16 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
fdroidserver/build.py
View file

@ -255,10 +255,12 @@ def vm_new_get_clean_builder(serverdir, reset=False):
vm.suspend()
if reset:
logging.info('buildserver recreated: taking a clean snapshot')
vm.snapshot_create('fdroidclean')
else:
logging.info('builserver ok: reverting to clean snapshot')
vm.snapshot_revert('droidclean')
vm.resume()
vm.up()
return get_vagrant_sshinfo()