chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80e121d) | patch
build: add global soft timeout of 12 hours
authorMarcus Hoffmann <bubu@bubu1.eu>
Fri, 19 Jan 2018 21:35:06 +0000 (22:35 +0100)
committerMarcus Hoffmann <bubu@bubu1.eu>
Mon, 22 Jan 2018 15:02:49 +0000 (16:02 +0100)
commitfa43066f8df414f715f9f88858d638d9d39cb2e1
tree0d853aa555f9a8ad46e8d9d920317bc2e3002aadtree | snapshot
parent80e121d182855db634a9e8010a661dec666940f4commit | diff
build: add global soft timeout of 12 hours

Only start new builds for 12 hours. This ensures we publish new builds
often enough even on long backlogs.

This could be made configurable at a later point.
fdroidserver/build.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.