Discord disconnect breaks permission checks #16

Open
opened 2019-11-13 08:58:16 +01:00 by kageru · 0 comments
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 2019-11-13 08:58:16 +01:00
Sign in to join this conversation.
No Label
Bug
Feature
No Milestone
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: kageru/discord-kagebot#16
No description provided.