diff options
| author |  Steele Farnsworth <[email protected]> | 2023-04-07 11:18:00 -0400 |
|---|---|---|
| committer | Steele Farnsworth <[email protected]> | 2023-04-07 11:18:00 -0400 |
| commit | 2ebf6c823a8a9d8af8e9c56ac7534fbeda327c7e (patch) | |
| tree | c4ecbe231166292fef3dc86c3630ded79aa3f69d | |
| parent | Add warning not to pip install unrelated packages. (diff) | |
Increase search history from 10 messages to 100.
100 is the maximum number that can be received in one request, so we may as well use that many. Also change a string `+=` to `=`.
| -rw-r--r-- | bot/exts/help_channels/_channel.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bot/exts/help_channels/_channel.py b/bot/exts/help_channels/_channel.py index fff93dff1..b1a319145 100644 --- a/bot/exts/help_channels/_channel.py +++ b/bot/exts/help_channels/_channel.py @@ -52,11 +52,11 @@ async def _close_help_post(closed_post: discord.Thread, closing_reason: _stats.C # to read the guide for asking better questions if closing_reason == _stats.ClosingReason.INACTIVE and closed_post.owner is not None: participant_ids = { - message.author.id async for message in closed_post.history(limit=10, oldest_first=False) + message.author.id async for message in closed_post.history(limit=100, oldest_first=False) if not message.author.bot } if participant_ids == {closed_post.owner_id}: - message += closed_post.owner.mention + message = closed_post.owner.mention await closed_post.send(message, embed=embed) await closed_post.edit(archived=True, locked=True, reason="Locked a closed help post") |