Mirrored_Repos/houdini
1
0
Fork 0
mirror of https://github.com/solero/houdini.git synced 2024-11-22 05:27:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use HSET instead of HINCR for population tracking

Browse Source
This commit is contained in:
Ben 2020-07-14 22:21:46 +01:00
parent 6fc147b62b
commit b4769d2383
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -119,7 +119,7 @@ async def handle_join_server(p, penguin_id: int, login_key: str):
server_key = f'houdini.players.{p.server.config.id}' server_key = f'houdini.players.{p.server.config.id}'
await p.server.redis.sadd(server_key, p.id) await p.server.redis.sadd(server_key, p.id)
await p.server.redis.hincrby('houdini.population', p.server.config.id, 1) await p.server.redis.hset('houdini.population', p.server.config.id, len(p.server.penguins_by_id))
async def room_cooling(p): async def room_cooling(p):
@ -207,4 +207,4 @@ async def handle_disconnect_room(p):
server_key = f'houdini.players.{p.server.config.id}' server_key = f'houdini.players.{p.server.config.id}'
await p.server.redis.srem(server_key, p.id) await p.server.redis.srem(server_key, p.id)
await p.server.redis.hincrby('houdini.population', p.server.config.id, -1) await p.server.redis.hset('houdini.population', p.server.config.id, len(p.server.penguins_by_id))