diff options
| author | Andrew Donnellan <ajd@linux.ibm.com> | 2020-09-29 21:30:58 +1000 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-12 17:22:41 +0200 |
| commit | d32b0bbf2f8cfe548553c4012e2c0f79040d999f (patch) | |
| tree | e389a1ba2770132dfb7ce40cfac3e75044606105 /syz-ci/testdata/example.cfg | |
| parent | 4a77ae0bdc5cd75ebe88ce7c896aae6bbf457a29 (diff) | |
syz-ci: make polling times configurable
Some users may wish to reduce the frequency at which syz-ci polls for jobs.
Add two new optional settings, job_poll_period and commit_poll_period, that
allow the administrator to set how often syz-ci polls for jobs and commits.
Keep the existing defaults of 10 seconds and 1 hour respectively.
Signed-off-by: Andrew Donnellan <ajd@linux.ibm.com>
Diffstat (limited to 'syz-ci/testdata/example.cfg')
| -rw-r--r-- | syz-ci/testdata/example.cfg | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/syz-ci/testdata/example.cfg b/syz-ci/testdata/example.cfg index b9ff45cfd..1f8a410c2 100644 --- a/syz-ci/testdata/example.cfg +++ b/syz-ci/testdata/example.cfg @@ -5,6 +5,8 @@ "hub_addr": "2.3.4.5:2345", "hub_key": "222", "goroot": "/syzkaller/goroot", + "job_poll_period": 20, + "commit_poll_period": 1800, "managers": [ { "name": "upstream-kasan", |