Hanabi/hanabi-league
1
0
Fork 2
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Proper caching of player history

Browse Source
This commit is contained in:
Maximilian Keßler 2023-11-24 13:14:01 +01:00
parent 94d698ad14
commit 613bb108a7
Signed by: max
GPG Key ID: BCC5A619923C0BA5
2 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/constants.py
View File

@ -41,5 +41,6 @@ FORBIDDEN_GAME_OPTIONS = [
, "detrimentalCharacters"
]
# Cache time in secodn
USER_HISTORY_CACHE_TIME = 5
# Cache time (in seconds) for history requests of players
# In case of frequent reruns (especially during development), we do not want to stress the server too much.
USER_HISTORY_CACHE_TIME = 5 * 60

8
src/fetch_games.py
View File

@ -19,13 +19,17 @@ from config import config_manager
# This ensures that we do not pose too many requests to the website, especially while in development where we
# might frequently re-initialize the database.
session = requests_cache.CachedSession(
platformdirs.user_cache_dir(constants.APP_NAME) + 'hanab.live.requests-cache',
platformdirs.user_cache_dir(constants.APP_NAME) + '/hanab.live.requests-cache',
urls_expire_after={
# Game exports will never change, so cache them forever
'hanab.live/export/*': requests_cache.NEVER_EXPIRE
'hanab.live/export/*': requests_cache.NEVER_EXPIRE,
# Cash history requests for 5 minutes, this seems like a reasonable time
'hanab.live/api/v1/history-full/*': constants.USER_HISTORY_CACHE_TIME
}
)
print(platformdirs.user_cache_dir(constants.APP_NAME) + 'hanab.live.requests-cache')
class GameInfo:
def __init__(self, game_id: int, num_players: int, variant_id: int, seed: str, score: int, num_turns: int,