marcuswhybrow/minecraft-server-manager — pull request #162 by IronTetsubo (2013-06-07 06:25:33+00:00)
Title: Fix issue with deleting running servers

This adds the functionality to ensure a server is stopped before deleting it, an issue I ran into while testing. if you don't force a stop, the server deletion ends up in a bad state because the root directory can't be removed because files are still in use by the running minecraft server.