mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-10-04 08:21:06 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'destroy_vm' into 'master'

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

Closes #1094

See merge request fdroid/fdroidserver!1285
This commit is contained in:
Hans-Christoph Steiner 2023-02-02 13:34:49 +00:00
commit c28bb024af
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():