Minecraft Server World Selector
This a very simple user interface that automatically edits the
server.properties file, but it does not restarts the server.
Made in python 2.7 with pyside2. Using miniconda instead of venv, because pyside2 is not available through pip at this time.
world_selector.pyto your minecraft server directory.