* 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>
dde9f895cf