diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-22 20:21:07 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-22 20:21:07 +0100 |
| commit | 87044370b89bb8cd45aec5f897c06bcee9a44f92 (patch) | |
| tree | 7f778cbaeea4a738abe3a64cddab62d58d171e38 | |
| parent | 6153a72ee16f1e7a1b1400bf4d89bb39e52343ce (diff) | |
syz-manager: ask reproducers from hub only if connected to dashboard
All reproducers from hub produce too much load on local managers.
| -rw-r--r-- | syz-manager/manager.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/syz-manager/manager.go b/syz-manager/manager.go index 923a98981..aaadbcd3a 100644 --- a/syz-manager/manager.go +++ b/syz-manager/manager.go @@ -1113,7 +1113,7 @@ func (mgr *Manager) hubSync() { mgr.mu.Unlock() - if mgr.cfg.Reproduce { + if mgr.cfg.Reproduce && mgr.dash != nil { needReproReply := make(chan bool) mgr.needMoreRepros <- needReproReply a.NeedRepros = <-needReproReply |