import time
turn_delay = 0.5
+sleep_timeout = None
[game, graphics] = [None, None]
def make_player(name, colour):
global src_file
global graphics_enabled
global always_reveal_states
+ global sleep_timeout
max_moves = None
src_file = None
agent_timeout = -1
else:
agent_timeout = float(arg[2:].split("=")[1])
+ elif (arg[1] == '-' and arg[2:].split("=")[0] == "blackout"):
+ # Screen saver delay
+ if len(arg[2:].split("=")) == 1:
+ sleep_timeout = -1
+ else:
+ sleep_timeout = float(arg[2:].split("=")[1])
elif (arg[1] == '-' and arg[2:] == "help"):
# Help
if graphics_enabled == True:
try:
graphics = GraphicsThread(game.board, grid_sz = [64,64]) # Construct a GraphicsThread!
+
+ graphics.sleep_timeout = sleep_timeout
except Exception,e:
graphics = None
if graphics != None:
graphics.board.display_grid(graphics.window, graphics.grid_sz)
graphics.message("Connecting to " + p.colour + " player...")
+
+ # Handle race condition by having clients wait longer than servers to connect
+ if p.address != None:
+ time.sleep(0.2)
p.connect()