diff options
| author | 2018-11-21 20:18:12 +0000 | |
|---|---|---|
| committer | 2018-11-21 20:18:12 +0000 | |
| commit | 3061c650246b72ea911233fa2c8994f1c372a1b3 (patch) | |
| tree | 06bc97de36ff41be952b317a2ea4281a76073418 /src/IRCServer.py | |
| parent | typo in src/IRCServer.py, 'typing.float' -> 'float' (diff) | |
| signature | ||
`IRCServer.Server.get_user` should be 'typing.Optional[IRCUser.User]', not just
'IRCUser.user'
Diffstat (limited to 'src/IRCServer.py')
| -rw-r--r-- | src/IRCServer.py | 3 |
1 files changed, 2 insertions, 1 deletions
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) |
