projects
/
gnushogi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
0e1d14a
)
Handle time and otim commands during ponder search
author
H.G.Muller
<hgm@hgm-xboard.(none)>
Thu, 6 Mar 2014 12:57:23 +0000 (13:57 +0100)
committer
H.G.Muller
<hgm@hgm-xboard.(none)>
Thu, 6 Mar 2014 13:24:18 +0000 (14:24 +0100)
Do not backlog time and otim commands when they come while searching,
but handle them immediately without aborting the search.
gnushogi/commondsp.c
patch
|
blob
|
history
diff --git
a/gnushogi/commondsp.c
b/gnushogi/commondsp.c
index
56fe08b
..
1790e5f
100644
(file)
--- a/
gnushogi/commondsp.c
+++ b/
gnushogi/commondsp.c
@@
-1726,7
+1726,7
@@
InputCommand(char *command, int root)
if (sscanf(sx, "%s", s) < 1)
continue;
- if (!root && strcmp(s, "."))
+ if (!root && strcmp(s, ".") && strcmp(s, "time") && strcmp(s, "otim"))
{ /* during search most commands can only be done after abort */
strcpy(backlog, sx); /* backlog the command */
return true; /* and order search abort */