Andrew Steinborn 6cc173d337 Correctly handle disconnect if there is no opportunity to kick the player to another server.		2020-08-24 14:08:35 -04:00
..
src	Correctly handle disconnect if there is no opportunity to kick the player to another server.	2020-08-24 14:08:35 -04:00
build.gradle	Upgrade to Gradle 6.6 and use SpotBugs.	2020-08-21 19:09:04 -04:00