| commit | 4894199344ba7ded95261fd1cdd569210b079d20 | |
| author | H.G.Muller <hgm@hgm-xboard.(none)> | |
| Tue, 18 Jun 2019 11:08:57 +0000 (18 13:08 +0200) | ||
| committer | H.G.Muller <hgm@hgm-xboard.(none)> | |
| Tue, 18 Jun 2019 11:47:29 +0000 (18 13:47 +0200) | ||
| tree | 4f9c263269e59e493790841a4473fcf5d0862d96 | treesnapshot (tar.gz zip) |
| parent | 99c8c5430513460d625bbeb59281c3e5812d250e | commitdiff |
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.
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 | diffblobblamehistory | |
| uci2wb.pod | diffblobblamehistory |