upate IRCUser.id when a user changes their nickname

This commit is contained in:
jesopo 2018-08-19 10:19:36 +01:00
parent 1ae1206b8a
commit 3bb54a4808

View file

@ -132,7 +132,9 @@ class Server(object):
channel.remove_user(user) channel.remove_user(user)
def change_user_nickname(self, old_nickname, new_nickname): def change_user_nickname(self, old_nickname, new_nickname):
self.users[new_nickname.lower()] = self.users.pop(old_nickname.lower()) user = self.users.pop(old_nickname.lower())
user.id = self.get_user_id(new_nickname)
self.users[new_nickname.lower()] = user
def has_channel(self, channel_name): def has_channel(self, channel_name):
return channel_name[0] in self.channel_types and channel_name.lower( return channel_name[0] in self.channel_types and channel_name.lower(
) in self.channels ) in self.channels