Merge pull request #123 from Sakimori/indev

fixed random game end cards for real this time (probably)
This commit is contained in:
Sakimori 2021-01-04 20:26:25 -05:00 committed by GitHub
commit ebaef8828c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1123,7 +1123,7 @@ async def game_watcher():
game, channel, user, key = this_array[i]
if game.over and main_controller.master_games_dic[key][1]["end_delay"] <= 9:
final_embed = game_over_embed(game)
if user is isinstance(user, str):
if isinstance(user, str):
await channel.send(f"A game started by {user} just ended.")
elif user is not None:
await channel.send(f"{user.mention}'s game just ended.")