def __init__(self, leaderboard_name, **options):
self.options = options<EOL>self.ties_namespace = self.options.pop(<EOL>'<STR_LIT>',<EOL>self.DEFAULT_TIES_NAMESPACE)<EOL>self.leaderboard_name = leaderboard_name<EOL>super(TieRankingLeaderboard, self).__init__(<EOL>leaderboard_name, **options)<EOL>
Initialize a connection to a specific leaderboard. By default, will use a
redis connection pool for any unique host:port:db pairing.

The options and their default values (if any) are:

host : the host to connect to if creating a new handle ('localhost')
port : the port to connect to if creating a new handle (6379)
db : the redis database to connect to if creating a new handle (0)
page_size : the default number of items to return in each page (25)
connection : an existing redis handle if re-using for this leaderboard
connection_pool : redis connection pool to use if creating a new handle