Handle time and otim commands during ponder search
authorH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 6 Mar 2014 12:57:23 +0000 (13:57 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 6 Mar 2014 13:24:18 +0000 (14:24 +0100)
commit3d8fafcd8eb7ca223e5b0db8d2f7df38eb28af83
tree7cf96cca5c3c31f3693f90d9cf4435139f316b65
parent0e1d14a8cc1c0a35d6b559c86f8296a2de9b79ee
Handle time and otim commands during ponder search

Do not backlog time and otim commands when they come while searching,
but handle them immediately without aborting the search.
gnushogi/commondsp.c