def __init__(self): Bot.__init__(self, server='localhost', port=8000, options={ 'game_name': 'default', 'num_players': 2, 'player_id': '1' })
def __init__(self): Bot.__init__(self, server='localhost', port=8000, game_name='default', num_players=2, player_id='1')