From 3061c650246b72ea911233fa2c8994f1c372a1b3 Mon Sep 17 00:00:00 2001 From: jesopo Date: Wed, 21 Nov 2018 20:18:12 +0000 Subject: [PATCH] `IRCServer.Server.get_user` should be 'typing.Optional[IRCUser.User]', not just 'IRCUser.user' --- src/IRCServer.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/IRCServer.py b/src/IRCServer.py index 016f69da..c52c32d6 100644 --- a/src/IRCServer.py +++ b/src/IRCServer.py @@ -182,7 +182,8 @@ class Server(IRCObject.Object): def has_user(self, nickname: str) -> bool: return utils.irc.lower(self.case_mapping, nickname) in self.users - def get_user(self, nickname: str, create: bool=True) -> IRCUser.User: + def get_user(self, nickname: str, create: bool=True + ) -> typing.Optional[IRCUser.User]: if not self.has_user(nickname) and create: user_id = self.get_user_id(nickname) new_user = IRCUser.User(nickname, user_id, self, self.bot)