* Administration improvements
Reduced the interval for preventing sending the same message because 50 seconds is too much and kinda confusing
Added saving and loading kicked IPs so they are saved even when the server crashes
Fixed smth in Config
* skill issue
* Extracted the method ServerControl.setPauseState()
* Added a comment to EventType.PlayerLeave
* Added the `pauseWithoutPlayers` config
* Revert "Extracted the method ServerControl.setPauseState()"
This reverts commit 45f5b01547.
* Renamed pauseWithoutPlayers to autoPause,
fixed manual- and automatic pausing to interfere
and made the server pause when hosting a new game
* Added a dot to the config description of `autoPause` and added my name to the contributors list
* Refactoring
* Merged remote-tracking changed I guess
* More refactoring
* More refactoring
* Removed logging about autoPause
* Removed another log I forgot in the last commit
Co-authored-by: Anuken <arnukren@gmail.com>
* SRV record support
* respect the formatting II
* avoid blocking call
* Add android support
* switch to stripped down version of dnsjava
* move srv lookup from `Net` to `NetProvider`
* random optimizations
* bump arc and restart the thing
* reimplement using ArcDns
* Update core/src/mindustry/net/ArcNetProvider.java
Co-authored-by: buthed010203 <naguiar010203@gmail.com>
* Update ArcNetProvider.java
Co-authored-by: buthed010203 <naguiar010203@gmail.com>
* utility method
* plainName for all console outputs
* plainLastName for all console outputs
* some formats
* slightly reformat trace output
* Slightly nicer admin indicator
* A space
