+ // Wait for a command from the user, and passes this command to
+ // execute_uci_command() and also intercepts EOF from stdin, by
+ // translating EOF to the "quit" command. This ensures that we
+ // exit gracefully if the GUI dies unexpectedly.
+ string cmd;
+
+ do {
+ // Wait for a command from stdin
+ if (!getline(cin, cmd))
+ cmd = "quit";
+
+ } while (execute_uci_command(cmd));