diff options
| author |  MarkKoz <[email protected]> | 2020-08-04 18:09:13 -0700 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2020-08-04 18:09:13 -0700 |
| commit | 59c62162e0e0abad53dfbaad0e197a0fbab2f22f (patch) | |
| tree | eb9cdc93183bf48d81ea69f03321523365c91e31 | |
| parent | Revert "Disabled burst_shared filter temporarily" (diff) | |
HelpChannels: use more reliable check for claimed channel
Using the channel's category isn't reliable since it may take Discord a
while to actually move the channel once it's received a request from the
bot. I suppose using redis technically has the same problem, but it
should be much faster and less susceptible to lag than Discord.
Fixes #1074
| -rw-r--r-- | bot/cogs/help_channels.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bot/cogs/help_channels.py b/bot/cogs/help_channels.py index 1be980472..975043df9 100644 --- a/bot/cogs/help_channels.py +++ b/bot/cogs/help_channels.py @@ -694,7 +694,7 @@ class HelpChannels(commands.Cog): async with self.on_message_lock: log.trace(f"on_message lock acquired for {message.id}.") - if not self.is_in_category(channel, constants.Categories.help_available): + if await self.help_channel_claimants.contains(channel.id): log.debug( f"Message {message.id} will not make #{channel} ({channel.id}) in-use " f"because another message in the channel already triggered that." |