diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-20 11:17:22 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-23 09:59:39 +0200 |
| commit | 6755f62592cfd0ee124c3e48b0bbb375cdd5e857 (patch) | |
| tree | e43299ef4c1f33627d3ae9802008623dc28e7bf6 /executor/executor.h | |
| parent | 9b5612df77394bdc3b094b63e93ab4bbf7930aaa (diff) | |
syz-fuzzer: fix manager polling
We need to always poll manager to send stats/maxsignal,
we just need not request candidates if we have plenty of work.
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions