Send ping in EditGameEvent
authorH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 14 Jan 2016 13:36:47 +0000 (14:36 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 14 Jan 2016 13:41:20 +0000 (14:41 +0100)
commitb0a35cef0cbc3515748f83081884866caec9389e
treed4a22c7081027734934fe15ddfd47a6b0b9da9ba
parent7949d2168ee377694b645dc909f3cb93039588ee
Send ping in EditGameEvent

An EditGameEvent can interrupt tinking of an engine, and the engine
might or might not send back a move as a result of that thinking.
To solve this, a "force" command sent to an engine playing white or
black will now be followed by a "ping". (If supported, of course.)
backend.c