diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-11 11:19:14 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-11 11:39:41 +0200 |
| commit | a171414b74df01e0978ef1495ccf7c6d901b84cd (patch) | |
| tree | f5ba23b67c8fa3f3887093050b452073b3483dea /executor/common_linux.h | |
| parent | c1b59a23a0aa7967d9ee16bd23aa3d395ca979d7 (diff) | |
dashboard/app: allow some cross-reporting dups
Allow a special case of cross-reporting duping:
rom last but one reporting to the last one (which is stable, final destination)
provided that these two reportings have the same access level and type.
The rest of the combinations can lead to surprising states and
information hiding, so we still don't allow them.
Fixes #569
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions