mirror of
https://github.com/peterosterlund2/droidfish.git
synced 2025-03-23 13:45:19 +01:00
DroidFish: Preserve case of UCI option names in the setoption command. Some engines (such as Greko) think UCI options are case sensitive.
This commit is contained in:
parent
4e24dd48da
commit
782fb97ae4
@ -276,11 +276,11 @@ public abstract class UCIEngineBase implements UCIEngine {
|
|||||||
return false;
|
return false;
|
||||||
UCIOptions.OptionBase o = options.getOption(name);
|
UCIOptions.OptionBase o = options.getOption(name);
|
||||||
if (o instanceof UCIOptions.ButtonOption) {
|
if (o instanceof UCIOptions.ButtonOption) {
|
||||||
writeLineToEngine(String.format(Locale.US, "setoption name %s", name));
|
writeLineToEngine(String.format(Locale.US, "setoption name %s", o.name));
|
||||||
} else if (o.setFromString(value)) {
|
} else if (o.setFromString(value)) {
|
||||||
if (value.length() == 0)
|
if (value.length() == 0)
|
||||||
value = "<empty>";
|
value = "<empty>";
|
||||||
writeLineToEngine(String.format(Locale.US, "setoption name %s value %s", name, value));
|
writeLineToEngine(String.format(Locale.US, "setoption name %s value %s", o.name, value));
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
return false;
|
return false;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user