mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-15 23:42:37 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'build-36h' into 'master'

Browse source 
build: set overall timeout to 36 hours

See merge request fdroid/fdroidserver!460
This commit is contained in:
Hans-Christoph Steiner 2018-02-12 11:06:34 +00:00
commit 62db94d96e
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
fdroidserver/build.py
View file

@ -1082,8 +1082,8 @@ def main():
# Build applications... # Build applications...
failed_apps = {} failed_apps = {}
build_succeeded = [] build_succeeded = []
# Only build for 12 hours, then stop gracefully # Only build for 36 hours, then stop gracefully.
endtime = time.time() + 12 * 60 * 60 endtime = time.time() + 36 * 60 * 60
max_build_time_reached = False max_build_time_reached = False
for appid, app in apps.items(): for appid, app in apps.items():