else if (token == "isready")
cout << "readyok" << endl;
else if (token == "position")
else if (token == "isready")
cout << "readyok" << endl;
else if (token == "position")
- set_option_value(name, value);
- } else
- push_button(name);
+ if (Options.find(name) == Options.end())
+ {
+ cout << "No such option: " << name << endl;
+ return;
+ }
+
+ if (token != "value" || !(uip >> value))
+ {
+ Options[name].set_value("true");
+ return;
int time[2] = {0, 0}, inc[2] = {0, 0};
int movesToGo = 0, depth = 0, nodes = 0, moveTime = 0;
bool infinite = false, ponder = false;
int time[2] = {0, 0}, inc[2] = {0, 0};
int movesToGo = 0, depth = 0, nodes = 0, moveTime = 0;
bool infinite = false, ponder = false;