- // The GUI sends 'ponderhit' to tell us the user has played the expected move.
- // So 'ponderhit' will be sent if we were told to ponder on the same move the
- // user has played. We should continue searching but switch from pondering to
- // normal search. In case Threads.stopOnPonderhit is set we are waiting for
- // 'ponderhit' to stop the search, for instance if max search depth is reached.