marcuswhybrow/minecraft-server-manager — pull request #46 by cameroncros (2012-07-11 05:37:16+00:00)
Title: Modify/Add server.properties with server shutdown forced

Added ability to modify server properties using "msm $servername config property value". Also added tab completion for said command.
Command will tell user to shutdown the server if it is running and tell them to restart once they are done
Added 'DEFAULT_SERVER_CONF="server.properties"' to the msm conf, unsure if correct or not, but necessary for tab completion.