diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-31 16:15:02 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-31 16:15:02 +0100 |
| commit | a84dec47f0bdc461828c2903429e669fc0fa5e10 (patch) | |
| tree | 052a8484d77a73eaea621306418fa93e5e421305 /executor | |
| parent | d39a1fe856d42409f18020bee7625dd5563cb227 (diff) | |
dashboard/app: properly handle job request dups
Dups always have the same Message-ID,
and that's more reliable than looking at From/Sender.
So use Message-ID for deduplication.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions