summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
f30f384)
It is enough to wake up main thread. This is
a better fix than
d033d5e06a604f.
No functional change.
Signed-off-by: Marco Costalba <mcostalba@gmail.com>
if (Search::Signals.stopOnPonderhit)
{
Search::Signals.stop = true;
if (Search::Signals.stopOnPonderhit)
{
Search::Signals.stop = true;
- Threads.wait_for_search_finished(); // Wake up if is sleeping
+ Threads.main_thread()->wake_up(); // Could be sleeping