Discord disconnect breaks permission checks #16

Open
opened 4 years ago by kageru · 0 comments
kageru commented 4 years ago
Owner

Occasionally, discord dies. This is logged by Javacord as 2019-11-12 03:40:32.182+0100 INFO org.javacord.core.util.gateway.DiscordWebSocketAdapter Could not resume session.
After such a disconnect, the bot will mostly continue to function as usual, but all role queries return empty lists, breaking permission checks.

Occasionally, discord dies. This is logged by Javacord as `2019-11-12 03:40:32.182+0100 INFO org.javacord.core.util.gateway.DiscordWebSocketAdapter Could not resume session.` After such a disconnect, the bot will mostly continue to function as usual, but all role queries return empty lists, breaking permission checks.
kageru added the Bug label 4 years ago
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: kageru/discord-kagebot#16
Loading…
There is no content yet.