mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #288] [MERGED] Maintenance release #363
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/RPCS3/discord-bot/pull/288
Author: @13xforever
Created: 4/21/2019
Status: ✅ Merged
Merged: 4/21/2019
Merged by: @13xforever
Base:
master← Head:vnext📝 Commits (5)
90f1ba2fix invite filter handler3b32069fix potential issues with the playable status handlerae5f131fix backlog check to skip only channels with insufficient permissions210886dimplement workaround for discord client deadlock in sockets codecae0c4fwatch for all socket errors, just in case📊 Changes
4 files changed (+78 additions, -14 deletions)
View changed files
📝
CompatBot/EventHandlers/DiscordInviteFilter.cs(+23 -7)📝
CompatBot/EventHandlers/IsTheGamePlayableHandler.cs(+4 -4)📝
CompatBot/Program.cs(+15 -3)➕
CompatBot/Watchdog.cs(+36 -0)📄 Description
Fixed a bunch of unhandled exceptions and implemented a workaround for socket deadlock in discord client library
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.