Update navigation.py

Add the users ID to the dictionary `penguins_by_id`
This commit is contained in:
ro 2019-06-04 23:05:02 +02:00 committed by GitHub
parent 7de38bcf18
commit 5c5eccbfae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -22,3 +22,5 @@ async def handle_join_server(p, penguin_id: int, login_key: str, lang: str):
await p.load() await p.load()
p.joined_world = True p.joined_world = True
p.server.penguins_by_id[p.data.id] = p