From b4a3364615e4d57610c3273ce25c84cc86bc062a Mon Sep 17 00:00:00 2001 From: Yannik Schmidt Date: Mon, 15 Jun 2020 17:19:12 +0200 Subject: [PATCH] cast rating to int in display --- python/httpAPI.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/httpAPI.py b/python/httpAPI.py index fda7850..9057550 100644 --- a/python/httpAPI.py +++ b/python/httpAPI.py @@ -22,7 +22,7 @@ def getPlayer(): p = db.getPlayer(playerId) if not p: return ("Player not found", 404) - return "{}'s Rating: {}".format(p.name, p.rating.mu - p.rating.sigma) + return "{}'s Rating: {}".format(p.name, int(p.rating.mu - p.rating.sigma)) #### Open Leaderboard ### @app.route('/findplayer')