server/game2002api
5
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

1

Browse Source
This commit is contained in:
wangwei01 2019-07-26 18:30:38 +08:00
parent 515698ffab
commit 1c22969a07
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/rankserver/app.py
View File

@ -67,7 +67,7 @@ def readMysqlData(rushtime):
r = getRedis() r = getRedis()
array.sort(key=take_score, reverse=True) array.sort(key=take_score, reverse=True)
score_rank = [] score_rank = []
for score_index in range(50): for score_index in range(min(50, len(array))):
score_rank.append(array[score_index]) score_rank.append(array[score_index])
r.set("game2002api: score_rank", json.dumps(score_rank)) r.set("game2002api: score_rank", json.dumps(score_rank))