From 712cb0b50d4935146dde79c0e43b48c44090efef Mon Sep 17 00:00:00 2001
From: ehouse <ehouse@0782aaa5-4710-0410-8820-a96bf9123855>
Date: Wed, 19 Nov 2003 04:49:30 +0000
Subject: [PATCH] robots can be given picked tiles too

---
 common/server.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/common/server.c b/common/server.c
index ae914acd0..065a70e01 100644
--- a/common/server.c
+++ b/common/server.c
@@ -1282,8 +1282,9 @@ fetchTiles( ServerCtxt* server, XP_U16 playerNum, XP_U16 nToFetch,
 
     XP_ASSERT( !!pool );
 #ifdef FEATURE_TRAY_EDIT
-    ask = !server->vol.gi->players[playerNum].isRobot
-        && server->vol.gi->allowPickTiles;
+    ask = server->vol.gi->allowPickTiles
+        && (!server->vol.gi->players[playerNum].isRobot
+            || server->vol.gi->allowPickTilesRobot);
 #else
     ask = XP_FALSE;
 #endif