Call of `getDocuments()` with empty document ID list returns all documents

[ChristophB]

For queries with an empty result set, getDocuments(...) is called with an empty array as documentIds parameter and returns all documents. The expected behaviour is to return an empty list of documents.

[fmatthies]

That's right. This is an oversight in the interaction between frontend ↔ backend. However, I would rather intercept this case in the frontend.

[ChristophB]

I would prefer to handle this case in the backend, because it does not feel right from a REST API perspective to return all documents.

[fmatthies]

I understand the notion, but I have the feeling, that it's kind of odd to provide an empty filter (if it's empty nothing gets filtered) and get nothing in return. You might as well not request it at all if you know it gives an empty return?