mirror/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2026-05-14 10:54:29 -04:00
Code Issues Packages Projects Releases Wiki Activity

Distroy VM when running into timeout (Closes: #1094)

Browse Source 
halt results in an Traceback.
This commit is contained in:
Jochen Sprickerhof
2023-02-02 09:28:02 +01:00
parent 282a7724ef
commit f8e3356365
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
fdroidserver/build.py
View File

@@ -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():