Add -kill option to specify kill delay
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 18 Jun 2019 11:08:57 +0000 (13:08 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 18 Jun 2019 11:47:29 +0000 (13:47 +0200)
commit4894199344ba7ded95261fd1cdd569210b079d20
tree4f9c263269e59e493790841a4473fcf5d0862d96
parent99c8c5430513460d625bbeb59281c3e5812d250e
Add -kill option to specify kill delay

The delay between receiving the 'quit' command and killing an engine
that survives that can now be specified through an option (the value
of which will be added to the 50ms default delay). To make this compatible
with WinBoard/XBoard's option -delayAfterQuit, the value is interpreted
as seconds in the Windows compile, and milliseconds otherwise.
UCI2WB.c
uci2wb.pod