Bug#677313:

h.g. muller h.g.muller at hccnet.nl
Sat Sep 29 18:18:15 UTC 2012


I intentionally disabled persistence of the -inc option by forcing its 
value to -1 in the last line of the xboard.conf master settings file. This 
was motivated by the fact that a saved -inc value >= 0 would cause the -mps 
option to be ignored, even when the latter is explicitly specified on the 
command line. By resetting -inc on every start, at least all options will 
be obeyed from the command line, as they used to be before settings were 
saved. It seemed preferable to have a slight annoyance over a problem that 
users probably would never figure out.



More information about the Pkg-games-devel mailing list