diff options
| author | Daniel <kingdread@gmx.de> | 2020-04-29 16:18:02 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2020-04-29 16:18:02 +0200 |
| commit | f956baf7e6b77e48e3f845459560f1f8fb77eb7c (patch) | |
| tree | efad054650251cf268fa007f78fc7010998988a9 /src/output.rs | |
| parent | 5e38bdfa8662ed5bdc100004f206e467cff9e6b5 (diff) | |
| download | raidgrep-f956baf7e6b77e48e3f845459560f1f8fb77eb7c.tar.gz raidgrep-f956baf7e6b77e48e3f845459560f1f8fb77eb7c.tar.bz2 raidgrep-f956baf7e6b77e48e3f845459560f1f8fb77eb7c.zip | |
fix BossFilter::filter_early
If the boss is unknown, we exclude the log - that is how
BossFilter::filter operates, and it is probably what the user wants if
they specify a -boss filter. However, in filter_early, the default for
unknown bosses was to return Inclusion::Include, which is not consistent
with filter. That lead to some logs being included, parsed and then
thrown away again.
This change makes the behaviour for unknown bosses between filter_early
and filter consistent, and therefore speeds up the search if -boss is
used.
Diffstat (limited to 'src/output.rs')
0 files changed, 0 insertions, 0 deletions