From ecb98a33301ee39b1470d045d33c6772fe2366d9 Mon Sep 17 00:00:00 2001
From: Marco Costalba <mcostalba@gmail.com>
Date: Thu, 10 Nov 2011 09:10:44 +0100
Subject: [PATCH] Stop is not an unknown command

If GUI sends stop while we are waiting for
a command do not reply with a silly:

Unknown command: stop

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
---
 src/uci.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/uci.cpp b/src/uci.cpp
index b7f72d9d..ff804f97 100644
--- a/src/uci.cpp
+++ b/src/uci.cpp
@@ -72,6 +72,9 @@ void uci_loop() {
       if (token == "quit")
           quit = true;
 
+      else if (token == "stop")
+      { /* avoid to reply "Unknown command: stop" */ }
+
       else if (token == "go")
           quit = !go(pos, is);
 
-- 
2.39.2