delete associated libvirt domain/image when destroying builder vm

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index d9ef9a0e46940d5418ce644549f682639f09c3b2..ceaf76d0629a3ff39d2f18704c48d269b509f93b 100644 (file)
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -220,6 +220,25 @@ def get_clean_vm(reset=False):
         if os.path.exists('builder'):
             logging.info("Removing broken/incomplete/unwanted build server")
             vagrant(['destroy', '-f'], cwd='builder')
+            if provider == 'libvirt':
+                import libvirt
+                virConnect = None
+                virDomain = None
+                try:
+                    virConnect = libvirt.open('qemu:///system')
+                    virDomain = virConnect.lookupByName('builder_default')
+                except libvirt.libvirtError:
+                    logging.debug("no libvirt domain found, skipping delete attempt")
+                if virDomain:
+                    virDomain.undefineFlags(libvirt.VIR_DOMAIN_UNDEFINE_MANAGED_SAVE
+                                            | libvirt.VIR_DOMAIN_UNDEFINE_SNAPSHOTS_METADATA
+                                            | libvirt.VIR_DOMAIN_UNDEFINE_NVRAM)
+                if virConnect:
+                    storagePool = virConnect.storagePoolLookupByName('default')
+                    if storagePool:
+                        for vol in storagePool.listAllVolumes():
+                            if vol.name().startswith('builder'):
+                                vol.delete()
             shutil.rmtree('builder')
         os.mkdir('builder')