Bennett/g0v0-server
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(metadata): safe-remove user from room subscribers

Browse Source
This commit is contained in:
MingxuanGame
2025-08-12 16:26:47 +00:00
parent 39e7309d01
commit 0ab3c1c492
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
app/service/subscribers/score_processed.py
View File

@@ -35,7 +35,10 @@ class ScoreSubscriber(RedisSubscriber):
async def unsubscribe_room_score(self, room_id: int, user_id: int): async def unsubscribe_room_score(self, room_id: int, user_id: int):
if room_id in self.room_subscriber: if room_id in self.room_subscriber:
self.room_subscriber[room_id].remove(user_id) try:
self.room_subscriber[room_id].remove(user_id)
except ValueError:
pass
if not self.room_subscriber[room_id]: if not self.room_subscriber[room_id]:
del self.room_subscriber[room_id] del self.room_subscriber[room_id]