diff options
| author |  jesopo | 2019-12-01 07:06:30 +0000 |
|---|---|---|
| committer | jesopo | 2019-12-01 07:07:28 +0000 |
| commit | 499e83a1cb0d9cdd5503d6e6593c1669ca372257 (patch) | |
| tree | 444d457fbed545fec69e9b0094401866c8aef927 /src/IRCServer.py | |
| parent | add database.users.get_nickname, to get nickname from ID (diff) | |
| signature | ||
refactor karma to be per-user. added data migration script for this
Diffstat (limited to 'src/IRCServer.py')
| -rw-r--r-- | src/IRCServer.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/IRCServer.py b/src/IRCServer.py index 1e069e5f..92c82350 100644 --- a/src/IRCServer.py +++ b/src/IRCServer.py @@ -193,6 +193,10 @@ class Server(IRCObject.Object): def has_user_id(self, nickname: str) -> bool: id = self.bot.database.users.get_id(self.id, self.irc_lower(nickname)) return not id == None + + def get_user_nickname(self, user_id: int) -> str: + return self.bot.database.users.get_nickname(self.id, user_id) + def remove_user(self, user: IRCUser.User): del self.users[user.nickname_lower] for channel in user.channels: |