Make sure 'quit' is sent to tardy engine
authorH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 21 Dec 2018 13:20:55 +0000 (14:20 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 21 Dec 2018 13:20:55 +0000 (14:20 +0100)
commit1790aaa2dbb4c327b5e867e3e5c58547f6fd2ec3
treed31eb244768bf862e95b45723e79835672baea2b
parent801e160fe3c49c8b8756729acc9066adc0e9b388
Make sure 'quit' is sent to tardy engine

We try to wake up an engine that should quit by sending it 'stop',
but that does not help when we are waiting for 'readyok' or 'uciok'.
To make sure 'quit' is sent before an impatient GUI kills us when we
are waiting for a tardy engine to produce these, we no have the GUI
thread sent an extra 'quit' after 500 msec, which will get to the engine
even when the engine thread remains blocked waiting for the engine until
the GUI kills us. The delay will also prevent excessive queueing of
'quit' commands when an EOF occurs because the GUI closes the stdin pipe.
UCI2WB.c