From f2aeaf77975fedbc31d9ea1ccc809b949281cc13 Mon Sep 17 00:00:00 2001
From: jesopo
Date: Wed, 5 Sep 2018 12:58:12 +0100
Subject: Don't use IRCUser.id ever, use IRCUser.get_id()

---
 IRCServer.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'IRCServer.py')

diff --git a/IRCServer.py b/IRCServer.py
index 96fd831c..81c64eed 100644
--- a/IRCServer.py
+++ b/IRCServer.py
@@ -160,7 +160,7 @@ class Server(object):
 
     def change_user_nickname(self, old_nickname, new_nickname):
         user = self.users.pop(old_nickname.lower())
-        user.id = self.get_user_id(new_nickname)
+        user._id = self.get_user_id(new_nickname)
         self.users[new_nickname.lower()] = user
     def has_channel(self, channel_name):
         return channel_name[0] in self.channel_types and channel_name.lower(
-- 
cgit v1.3.1-10-gc9f91