From f8e3356365de6a96e660f68e5aae04aac5bda592 Mon Sep 17 00:00:00 2001
From: Jochen Sprickerhof <git@jochen.sprickerhof.de>
Date: Thu, 2 Feb 2023 09:28:02 +0100
Subject: [PATCH] Distroy VM when running into timeout (Closes: #1094)

halt results in an Traceback.
---
 fdroidserver/build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index 794cbbd9..00de15f2 100644
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -893,7 +893,7 @@ def force_halt_build(timeout):
     logging.error(_('Force halting build after {0} sec timeout!').format(timeout))
     timeout_event.set()
     vm = vmtools.get_build_vm('builder')
-    vm.halt()
+    vm.destroy()
 
 
 def parse_commandline():