marcuswhybrow/minecraft-server-manager — pull request #45 by cameroncros (2012-07-11 04:25:43+00:00)
Title: Modify/Add server.properties

Added ability to modify server properties using "msm $servername config property value". Also added tab completion for said command.
Added 'DEFAULT_SERVER_CONF="server.properties"' to the msm conf, unsure if correct or not, but necessary for tab completion.