#41 Merged
Repository
astaric astaric
Branch
default
Repository
mchaput mchaput
Branch
default

Do not ignore filters that match no results.

Author
  1. astaric avatarastaric
Reviewers
Description

The documentation of FilterCollector states that the document is discarded if "the allowed set is not None and a document number is not in the set, ..."

In some cases (when filter query matches no documents), the filter is skipped and all results are returned.

Comments (1)

Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.