> Hmmm well somehow those 2 search threads weren't scheduled (enough)
> before the 0.5 seconds was up.

Very likely. 500ms isn't that much when you have competing threads and
some other processes in the background (which was possibly the case).

D.

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to