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