On 06/01/2017 18:55, Serkan Mulayim wrote:
Then can there be a bug s.t. you try to decref the searcher after getting 0
results?

That's unlikely but I can't tell without a test case.

Nick

Reply via email to