Search: filter user documents at query time

[cedricbonhomme]

Whoosh give the possibility to filter document before search : https://pythonhosted.org/Whoosh/searching.html#filtering-results

Because user_id is indexed it possible to filter user documents at query time instead of filtering results.

Find attach the small patch to search.py.

The few tests i did looks ok.

---

• Bitbucket: https://bitbucket.org/cedricbonhomme/jarr/issue/5
• Originally reported by: Benoît LAURENT
• Originally created at: 2014-05-02T22:37:59.109

[cedricbonhomme]

search.path fixes #5.

→ <<cset 6923cc7b852a>>

---

Original comment by: Cédric Bonhomme