Change StopPonder() into more general StopSearch()
authorH.G.Muller <hgm@hgm-xboard.(none)>
Sat, 8 Dec 2018 12:42:53 +0000 (13:42 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sat, 8 Dec 2018 12:42:53 +0000 (13:42 +0100)
commit42d1fe296f371b87c4e9520c71e534ffe5569c77
tree0c513d8f12b972d1d570fe29d79f64f0f8d86c49
parent1788d5e3e95e8b959a382171f31da23cc10d5ee3
Change StopPonder() into more general StopSearch()

As StopPonder was only still used to unconditionally abort searches of
any kind, it is changed into a general StopSearch() routine that handles
the tasks that otherwise were performed before calling it. In particular
it refrains from stopping a search if none is going on, and conditionally
(based on its argument) sets 'searching' to idle if the move the search
will come up with has to be ignored.
UCI2WB.c