search

starcraft66 / minecraft-discord-bridge

A minecraft <-> discord bridge with no server-side requirements
Apache License 2.0
30 stars 9 forks source link

Use the minecraft query API to determine if the server is up #7

Closed starcraft66 closed 6 years ago

starcraft66 commented 6 years ago

If the bot account gets disconnected for any reason, it is saner to use the minecraft query API to check if the server is up instead of endlessly reconnecting to a server that is not up and risking further unexpected issues like the networking thread getting jammed.