The best solution would be to fix the reason for the crash. It doesn't happen often though, so a simple restart script could work. The reason for the crash is probably due to the connection to discord timing out, and if that is the reason, the solution would be to simply restart the bot until we get a connection again.
Borgli
commented
6 years ago
The best solution would be to fix the reason for the crash. It doesn't happen often though, so a simple restart script could work. The reason for the crash is probably due to the connection to discord timing out, and if that is the reason, the solution would be to simply restart the bot until we get a connection again.