#!/usr/bin/python3 import flask import requests import argparse app = flask.Flask("open-leaderboard") SERVER = "localhost:5000" LOCATION = "/rankrange" PARAM_START = "start" PARAM_END = "end" BASE_URL = "http://{server}{path}?{paramStart}={start}&{paramEnd}={end}" MAX_ENTRY = "http://{server}/getmaxentries" SEGMENT = 100 SEPERATOR = ',' class Player: def __init__(self, line): '''Initialize a player object later to be serialized to HTML''' # parse input line # try: name, playerID, rating, games, wins = line.split(SEPERATOR) except ValueError as e: print("Failed to parse line: {}".format(line)) raise e # set relevant values # self.name = name self.playerID = playerID self.rating = int(float(rating)) self.games = int(games) self.wins = int(wins) self.loses = self.games - self.wins # determine winratio # if self.games == 0: self.winratio = "N/A" else: self.winratio = str(int(self.wins/self.games * 100)) def getLineHTML(self, rank): '''Build a single line for a specific player in the leaderboard''' string = flask.render_template("playerLine.html", \ playerRank = rank, \ playerName = self.name, \ playerRating = self.rating, \ playerGames = self.games, \ playerWinratio = self.winratio) # mark returned string as preformated html # return flask.Markup(string) def requestRange(start, end): '''Request a range from the rating server''' # request information from rating server # requestURL = BASE_URL.format(server=SERVER, \ path=LOCATION, \ paramStart=PARAM_START, \ paramEnd=PARAM_END, \ start=start, \ end=end) return str(requests.get(requestURL).content, "utf-8") @app.route('/leaderboard') def leaderboard(): '''Show main leaderboard page with range dependant on parameters''' # parse parameters # start = flask.request.args.get(PARAM_START) page = flask.request.args.get("page") # intentional double if, page is supposed to overwrite start # if start: start = int(start) if page: start = SEGMENT * int(page) else: start = 0 end = start + SEGMENT # request and check if we are within range # maxEntryUrl = MAX_ENTRY.format(server=SERVER) maxEntry = int(requests.get(maxEntryUrl).content) reachedEnd = False if end > maxEntry: start = maxEntry - ( maxEntry % SEGMENT ) - 1 end = maxEntry - 1 reachedEnd = True # do the actual request # responseString = requestRange(start, end) # create relevant html-lines from player players = [Player(line) for line in responseString.split("\n")] # sanity check reponse # if len(players) > 100: raise ValueError("Bad reponse from rating server") columContent = flask.Markup(flask.render_template("playerLine.html", \ playerRank="Rank", \ playerName="Player", \ playerRatin="Rating", \ playerGames="Games", \ playerWinratio="Winratio")) endOfBoardIndicator = "" if reachedEnd: endOfBoardHtml = "