mirror of
https://github.com/f-droid/fdroidserver.git
synced 2026-04-04 15:15:30 -04:00
Merge branch 'timeout_flag' into 'master'
build: clear timeout flag before every build See merge request fdroid/fdroidserver!455
This commit is contained in:
@@ -1102,6 +1102,7 @@ def main():
|
||||
if options.server and timeout > 0:
|
||||
logging.debug(_('Setting {0} sec timeout for this build').format(timeout))
|
||||
timer = threading.Timer(timeout, force_halt_build, [timeout])
|
||||
timeout_event.clear()
|
||||
timer.start()
|
||||
else:
|
||||
timer = None
|
||||
|
||||
Reference in New Issue
Block a user