diff options
| author | 2022-08-08 11:09:44 -0400 | |
|---|---|---|
| committer | 2022-08-08 11:09:44 -0400 | |
| commit | 765388d00f4d6f9dda7a464a518d76745a3256e1 (patch) | |
| tree | d9f1ffbedf9fbe2d2af27680c77dfdf6c6b1966b /bot/exts/fun/connect_four.py | |
| parent | Fixed conflicts from PR 1078 (diff) | |
| parent | Merge pull request #1083 from algmyr/latex (diff) | |
Pulled changes from main and fixed conflicts
Diffstat (limited to 'bot/exts/fun/connect_four.py')
| -rw-r--r-- | bot/exts/fun/connect_four.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bot/exts/fun/connect_four.py b/bot/exts/fun/connect_four.py index f53695d5..1b88d065 100644 --- a/bot/exts/fun/connect_four.py +++ b/bot/exts/fun/connect_four.py @@ -5,6 +5,7 @@ from typing import Optional, Union import discord import emojis +from discord import ClientUser, Member from discord.ext import commands from bot.bot import Bot @@ -71,7 +72,9 @@ class Game: await self.message.add_reaction(CROSS_EMOJI) await self.message.edit(content=None, embed=embed) - async def game_over(self, action: str, player1: discord.user, player2: discord.user) -> None: + async def game_over( + self, action: str, player1: Union[ClientUser, Member], player2: Union[ClientUser, Member] + ) -> None: """Announces to public chat.""" if action == "win": await self.channel.send(f"Game Over! {player1.mention} won against {player2.mention}") |