diff options
| author |  jesopo | 2019-05-14 11:01:31 +0100 |
|---|---|---|
| committer | jesopo | 2019-05-14 11:01:31 +0100 |
| commit | b75fc02c4bcd7de9fae804fd6969d4915ee4aa51 (patch) | |
| tree | ff0c994abde0fd6dee37377b344eab46044eb606 /modules/github | |
| parent | Don't prevent highlights for single-letter nicknames (diff) | |
| signature | ||
Add comment to clarify why we ignore 1-letter-nicks in _prevent_highlight
Diffstat (limited to 'modules/github')
| -rw-r--r-- | modules/github/__init__.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/modules/github/__init__.py b/modules/github/__init__.py index 8d36fb6e..f447c43d 100644 --- a/modules/github/__init__.py +++ b/modules/github/__init__.py @@ -423,6 +423,8 @@ class Module(ModuleManager.BaseModule): def _prevent_highlight(self, server, channel, s): for user in channel.users: if len(user.nickname) == 1: + # if we don't ignore 1-letter nicknames, the below while loop + # will fire indefininitely. continue s_lower = server.irc_lower(s) |