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

delete .vagrant dir when cleaning up buildserver vm

Browse source
This commit is contained in:
Michael Pöhn 2017-03-24 03:15:35 +01:00 • committed by Hans-Christoph Steiner
parent 437ff7c3f0
commit 8cfd3ca770
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
makebuildserver
View file

@ -304,6 +304,12 @@ def destroy_current_image(v, serverdir):
v.destroy()
elif options.verbose:
print('Cannot run destroy vagrant setup since Vagrantfile.yaml is not setup!')
try:
shutil.rmtree(os.path.join(serverdir, '.vagrant'))
except Exception as e:
print("could not delete vagrant dir: %s, %s" % (os.path.join(serverdir, '.vagrant'), e))
if config['vm_provider'] == 'libvirt':
import libvirt
try: