Mirrored_Repos/houdini
1
0
Fork 0
mirror of https://github.com/solero/houdini.git synced 2024-12-24 14:33:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add player ID to redis set in join server handler

Browse Source
This commit is contained in:
Ben 2019-08-19 02:21:12 +01:00
parent 864268afff
commit 8b33390acf
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
houdini/handlers/play/navigation.py
View File

@ -41,6 +41,8 @@ async def handle_join_server(p, penguin_id: int, login_key: str):
p.joined_world = True p.joined_world = True
server_key = '{}.players'.format(p.server.server_config['Id'])
await p.server.redis.sadd(server_key, p.data.id)
await p.server.redis.hincrby('population', p.server.server_config['Id'], 1) await p.server.redis.hincrby('population', p.server.server_config['Id'], 1)