I realized having to host this potentially indefinitely might not be the best idea, so I am going to shut down this gitea instance eventually.
You’ll have time, at least until the end of 2022, probably longer, but please just get all your stuff somewhere safe in case we ever disappear.
If any of your build scripts rely on my (kageru’s) projects hosted here, check my Github or IEW on Github for encoding projects. If you can’t find what you’re looking there, tell me to migrate it.

Discord disconnect breaks permission checks #16

Open
opened 3 years ago by kageru · 0 comments
kageru commented 3 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 3 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.