#!/usr/bin/python3 import flask import requests import argparse import flask_caching as fcache import json app = flask.Flask("open-leaderboard") cache = fcache.Cache(app, config={'CACHE_TYPE': 'simple'}) cache.init_app(app) SERVER = "localhost:5001" LOCATION = "/rankrange" PARAM_START = "start" PARAM_END = "end" BASE_URL = "http://{server}{path}?{paramStart}={start}&{paramEnd}={end}" MAX_ENTRY = "http://{server}/getmaxentries" FIND_PLAYER = "http://{server}/getplayer?name={pname}" 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''' start = max(start, 0) # 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') @app.route('/') @cache.cached(timeout=600, query_string=True) def leaderboard(): '''Show main leaderboard page with range dependant on parameters''' # parse parameters # page = flask.request.args.get("page") playerName = flask.request.args.get("string") if page: start = SEGMENT * int(page) else: start = 0 # handle find player request # cannotFindPlayer = "" searchName = "" if playerName: playersWithRankUrl = FIND_PLAYER.format(server=SERVER, pname=playerName) playersWithRank = str(requests.get(playersWithRankUrl).content, "utf-8") print(playersWithRank) if playersWithRank == "[]": cannotFindPlayer = flask.Markup("
No player of that name
") start = 0 else: searchName = playersWithRank.split(",")[1].strip(" '") rank = int(playersWithRank.split(",")[4].strip(" ')][")) start = rank - (rank % SEGMENT) 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", \ playerRating="Rating", \ playerGames="Games", \ playerWinratio="Winratio")) endOfBoardIndicator = "" if reachedEnd: endOfBoardHtml = "
- - - End of Board - - -
" endOfBoardIndicator = flask.Markup(endOfBoardHtml) # fix <100 player start at 0 # if maxEntry <= 100: start = max(start, 0) finalResponse = flask.render_template("base.html", playerList=players, \ columNames=columContent, \ start=start, \ endOfBoardIndicator=endOfBoardIndicator, \ findPlayer=cannotFindPlayer, \ searchName=searchName) return finalResponse @app.route('/static/') def send_js(path): return send_from_directory('static', path) @app.before_first_request def init(): pass if __name__ == "__main__": parser = argparse.ArgumentParser(description='Start open-leaderboard', \ formatter_class=argparse.ArgumentDefaultsHelpFormatter) parser.add_argument('--rating-server', default=SERVER, \ help='Compatible rating server to query') parser.add_argument('--request-url', default=LOCATION, \ help='API location for rating range') parser.add_argument('--param-start', default=PARAM_START, \ help='Name of parameter annotating the start of the rating range') parser.add_argument('--param-end', default=PARAM_END, \ help='Name of parameter annotating the end of the rating range') parser.add_argument('--interface', default="localhost", \ help='Interface on which flask (this server) will take requests on') parser.add_argument('--port', default="5002", \ help='Port on which flask (this server) will take requests on') args = parser.parse_args() SERVER = args.rating_server LOCATION = args.request_url PARAM_START = args.param_start PARAM_END = args.param_end app.run(host=args.interface, port=args.port)