Simplify and rename wait_for_stop_or_ponderhit()
authorMarco Costalba <mcostalba@gmail.com>
Sun, 13 Jan 2013 13:15:19 +0000 (14:15 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Sun, 13 Jan 2013 13:15:19 +0000 (14:15 +0100)
commit89a89eb60535a72139730ecd60b6e1257db269d4
treecac49cf0b0ea3a32b4f1ee30315d4914a5514810
parent3b14b17664b30933e55d0fb1c8248ddab8b49110
Simplify and rename wait_for_stop_or_ponderhit()

Setting stopOnPonderhit is now done by the caller.

No functional change.
src/search.cpp
src/thread.cpp
src/thread.h