From a27cf2b5966e89fff73e31136be1999e579a49e7 Mon Sep 17 00:00:00 2001
From: Dave Fallon <davef@tetsubo.com>
Date: Thu, 6 Jun 2013 23:11:50 -0700
Subject: [PATCH] Make sure server is stopped before deleting, as if you don't,
 the delete will partially fail.

---
 init/msm | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/init/msm b/init/msm
index 4724154..5e179c3 100755
--- a/init/msm
+++ b/init/msm
@@ -1261,11 +1261,18 @@ server_delete() {
 		manager_property USERNAME
 
 		if [[ -d "$SETTINGS_SERVER_STORAGE_PATH/$1" ]]; then
-			printf "Are you sure you want to delete this server and its worlds (note: backups are preserved) [y/N]: "
+			printf "Are you sure you want to delete server \"$1\" and its worlds? (note: backups are preserved) [y/N]: "
 
 			read answer
 			if [[ "$answer" =~ ^(y|Y|yes)$ ]]; then
 				# TODO: stop the server if running first
+				server_get_id "$1"
+				local existing_id="$RETURN"
+
+				if server_is_running "$existing_id"; then
+					echo "Server \"$1\" is running."
+					server_stop_now "$existing_id"
+				fi
 				as_user "$SETTINGS_USERNAME" "rm -rf '$SETTINGS_SERVER_STORAGE_PATH/$1'"
 				echo "Server deleted."
 			else