if (token == "uci")
{
cout << "id name " << engine_name()
- << "\nid author Tord Romstad, Marco Costalba\n";
+ << "\nid author Tord Romstad, Marco Costalba, Joona Kiiski\n";
print_uci_options();
cout << "uciok" << endl;
}
}
if (token == "value")
{
+ // Skip whitespace. There should be a better way to do this, but
+ // I don't know how...
+ while(isspace(uip.get()));
+ uip.unget();
+
getline(uip, token); // reads until end of line
set_option_value(name, token);
} else