diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-07-03 12:27:18 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-07-03 11:55:46 +0000 |
| commit | 780d1bc51844c9df9c4d09e57bdfdd3d1ff8ad28 (patch) | |
| tree | c3f3bdc242c209eeeae75de571cdb3f0e262f46d /syz-manager/manager.go | |
| parent | 409d975c59d9dbae9424c533c1d0d903fd51564f (diff) | |
syz-manager: respect repro config when connected to dashboard
Diffstat (limited to 'syz-manager/manager.go')
| -rw-r--r-- | syz-manager/manager.go | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/syz-manager/manager.go b/syz-manager/manager.go index f888c4286..d262466e1 100644 --- a/syz-manager/manager.go +++ b/syz-manager/manager.go @@ -1037,7 +1037,7 @@ func (mgr *Manager) saveCrash(crash *Crash) bool { } else { // Don't store the crash locally, if we've successfully // uploaded it to the dashboard. These will just eat disk space. - return resp.NeedRepro + return mgr.cfg.Reproduce && resp.NeedRepro } } @@ -1103,6 +1103,9 @@ func (mgr *Manager) needLocalRepro(crash *Crash) bool { } func (mgr *Manager) needRepro(crash *Crash) bool { + if !mgr.cfg.Reproduce { + return false + } if crash.fromHub || crash.fromDashboard { return true } |
