diff options
| author |  Johannes Christ <[email protected]> | 2019-01-03 20:01:36 +0100 |
|---|---|---|
| committer | Johannes Christ <[email protected]> | 2019-01-03 20:01:36 +0100 |
| commit | 437a3fa654e6c50ef1eec48d4970ed0923ff5d4a (patch) | |
| tree | 37b42ebdb265fa7f9eceb9b62c6b3bc4bfb75c67 | |
| parent | Create or update roles as needed. (diff) | |
Respect immutability.
| -rw-r--r-- | bot/cogs/sync/syncers.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bot/cogs/sync/syncers.py b/bot/cogs/sync/syncers.py index ac32860fb..2334a0ace 100644 --- a/bot/cogs/sync/syncers.py +++ b/bot/cogs/sync/syncers.py @@ -96,8 +96,8 @@ def get_users_for_sync( users_to_update.add(guild_user) else: # User left - api_user._replace(in_guild=False) - users_to_update.add(guild_user) + new_api_user = api_user._replace(in_guild=False) + users_to_update.add(new_api_user) new_user_ids = set(guild_users.keys()) - set(api_users.keys()) for user_id in new_user_ids: |