# HG changeset patch # User ymh # Date 1479140599 -3600 # Node ID a351fc0c4ad7867ae5e95c07c836a376950b6a99 # Parent 761aaf440934fa2ab0992a845e45b688a57cc728 correct ES filter for documents ids diff -r 761aaf440934 -r a351fc0c4ad7 server/src/app/Libraries/Filters/CorpusFilterManager.php --- a/server/src/app/Libraries/Filters/CorpusFilterManager.php Mon Nov 14 16:32:53 2016 +0100 +++ b/server/src/app/Libraries/Filters/CorpusFilterManager.php Mon Nov 14 17:23:19 2016 +0100 @@ -26,7 +26,7 @@ "bool" => [ "filter" => [ "terms" => [ - 'id' => $ids + '_id' => $ids ] ] ]