#!/usr/bin/python3 import flask import requests import argparse import flask_caching as fcache app = flask.Flask("open-leaderboard") cache = fcache.Cache(app, config={'CACHE_TYPE': 'simple'}) cache.init_app(app) 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" FIND_PLAYER = "http://{server}/findplayer?string={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) 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").split("|") if len(playersWithRank) == 1 and playersWithRank[0] == "": cannotFindPlayer = flask.Markup("