From: Michael Pöhn <michael.poehn@fsfe.org>
Date: Sat, 25 Mar 2017 02:50:22 +0000 (+0100)
Subject: makebuildserver added sleep after destroy/undefine
X-Git-Tag: 0.8~56^2~27
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=718d01dea2399de8f211fdc024c990cdd593cc75;p=fdroidserver.git

makebuildserver added sleep after destroy/undefine
---

diff --git a/makebuildserver b/makebuildserver
index 19ea04bd..c3a6ab81 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -14,6 +14,7 @@ import hashlib
 import yaml
 import math
 import json
+import time
 import logging
 from clint.textui import progress
 from optparse import OptionParser
@@ -348,6 +349,8 @@ def destroy_current_image(v, serverdir):
                 try:
                     logger.debug('virsh -c qemu:///system destroy %s', config['domain'])
                     subprocess.check_call(['virsh', '-c', 'qemu:///system', 'destroy', config['domain']])
+                    logging.info("...waiting a sec...")
+                    time.sleep(10)
                 except subprocess.CalledProcessError as e:
                     logging.info("could not force libvirt domain '%s' off: %s", config['domain'], e)
                 try:
@@ -355,6 +358,8 @@ def destroy_current_image(v, serverdir):
                     # for undefining domains correctly.
                     logger.debug('virsh -c qemu:///system undefine %s --nvram --managed-save --remove-all-storage --snapshots-metadata', config['domain'])
                     subprocess.check_call(('virsh', '-c', 'qemu:///system', 'undefine', config['domain'], '--nvram', '--managed-save', '--remove-all-storage', '--snapshots-metadata'))
+                    logging.info("...waiting a sec...")
+                    time.sleep(10)
                 except subprocess.CalledProcessError as e:
                     logger.info("could not undefine libvirt domain '%s': %s", dom.name(), e)
             except libvirt.libvirtError as e: