diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-04-06 19:15:54 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-04-07 09:46:50 +0200 |
| commit | 6d728010573182a2486a54214c8e6056af94a08a (patch) | |
| tree | 744f617ad276c9211c1768f770795d1f9241538f /executor/android/android_seccomp.h | |
| parent | 9d8dc9a9389231abc863829900eea7d3095466b7 (diff) | |
dashboard: skip non-existent BugIDs
There's no way to know whether a BugID exists at the moment of parsing
a Lore archive. Don't abort the API method execution in this case and
just filer out non-existent bugs.
Diffstat (limited to 'executor/android/android_seccomp.h')
0 files changed, 0 insertions, 0 deletions