147
148
// query, the worker thread's next call to push() will return false,
148
149
// causing the worker thread to stop working on this query.
153
154
virtual void run(SearchReplyProxy const& reply) override
156
157
cerr << "scope-C: run() returning" << endl;