Remove user's time, if the previous one is longer than the current one.

2022-11-20 16:13:38 +01:00 · 2022-11-20 16:13:38 +01:00 · 02d99c0fb1
commit 02d99c0fb1
parent 03969a18d7
1 changed files with 6 additions and 1 deletions
--- a/customiwmserver/main.py
+++ b/customiwmserver/main.py
@ -196,6 +196,11 @@ async def stopMapPlay(
        if BestUserTime is None or playtime < BestUserTime:
            print(BestUserTime)
            
+            updateQuery = db.maps_collection.update_one(
+                    {"ID": mapID},
+                    {"$pull": {"Leaderboard": {"UserID": userData.ID}}
+                     }
+                    )
            updateQuery = db.maps_collection.update_one(
                {"ID": mapID},
                {