October 18, 2023
As you may have noticed there was a period of approximately an hour when the server went down.
There was a moderately large update for the moderation system (more on that in a later post) which I of course assumed was the cause. I learned very quickly it was not, instead discord have changed something on their backend regarding how connecting works and as a result the server would try to connect and instantly fail.
In the end the actual fix was easy, it was finding what to fix. I have submitted an issue to the discord library informing them of the problem and my (hacky) fix.