chiark / gitweb /
build: enable watchdog timer for each build that kills in 2 hours
authorMarcus Hoffmann <bubu@bubu1.eu>
Mon, 15 Jan 2018 00:03:47 +0000 (01:03 +0100)
committerMarcus Hoffmann <bubu@bubu1.eu>
Mon, 22 Jan 2018 15:01:20 +0000 (16:01 +0100)
commit85985074d45832c8e0fb9295eda1f2614b42f7e3
treebfd210b3ead6d2b85aacd85257b4ee96b7961044
parent9a4f3ac019d3dc3d9154db6b434f717623c4c0e2
build: enable watchdog timer for each build that kills in 2 hours

This introduces locking for the commonly used vagrant functions in
vmtools because vagrant fails when another vagrant command is
already running.
fdroidserver/build.py
fdroidserver/vmtools.py