chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc4b57b) | patch
build: make per-build hard time limit customizable
authorrelan <email@hidden>
Sun, 28 Jan 2018 06:56:19 +0000 (09:56 +0300)
committerrelan <email@hidden>
Tue, 30 Jan 2018 08:14:50 +0000 (11:14 +0300)
commit86f34ee70a658d3f03cfb1046084d40c0382c348
treec21a9bf3135c4d7a02e35bf13b10b4f6c9e39584tree | snapshot
parentcc4b57b10bd7eccfb22c539bcd225e653f589b7fcommit | diff
build: make per-build hard time limit customizable

Add "timeout=n" metadata field that overrides build timeout (in seconds).
The default is 7200, i.e. 2 hours.
fdroidserver/build.py diff | blob | history
fdroidserver/metadata.py diff | blob | history
tests/metadata/dump/com.politedroid.yaml diff | blob | history
tests/metadata/dump/org.adaway.yaml diff | blob | history
tests/metadata/dump/org.smssecure.smssecure.yaml diff | blob | history
tests/metadata/dump/org.videolan.vlc.yaml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.