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.
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.