diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-05-16 18:36:49 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-05-17 08:46:55 +0000 |
| commit | 58cb0f51f67675dfee01d78c54c8bdd4ed1fbe90 (patch) | |
| tree | c748a7185004bc06f6326e8813507c1960e17815 /executor/_include | |
| parent | 15846cbccf63a4e74cce5b8cf0c1931fdcf81ccd (diff) | |
syz-manager: don't distribute empty signal
It's likely we don't have any new signal every 0.5 seconds,
so don't iterate the sync map and append if we have no signal.
Diffstat (limited to 'executor/_include')
0 files changed, 0 insertions, 0 deletions