Only resend changed options on xreuse restart
authorH.G.Muller <hgm@hgm-xboard.(none)>
Sat, 26 Nov 2016 12:56:16 +0000 (13:56 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 13 Jan 2017 15:39:23 +0000 (16:39 +0100)
commit4b2e076784b6bfd57781000e1ec809a1dc7ba4a1
treecfd8139f74ee1d5b9fcb8a774faaa4ae267cb852
parent28a742f1ef86e353f4eed6ec0841d483b29a5794
Only resend changed options on xreuse restart

For engines that specify reuse=1, a new engine process is started for
every game. This new process is made aware of the option settings as
they were specified by the user during the live of its predecessors.
Now this resending is limited to the options that have different value
from their original default. To achieve that, the default values are
now remembered (in the last 104 bytes of the Option.name buffer, which
was allocated way too large): 4 bytes for integet value, 99 char text.
backend.c