WebSearch: fixes search bug with --empty hitset
- The search engine would stop as soon as an empty hitset was found: e.g. 100a:22 finds 2 hits but 100b:22 has 0 hits. if you combine both 100a:22 -100b:22 you would still expect to have 2 hits.
Samuele Kaplun <samuele.kaplun@cern.ch> | Dec 18 2013, 16:21 |