From b18e0bd99902dda3e8d34217d1450965ec50fff2 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Wed, 30 May 2018 13:57:04 +0200
Subject: [PATCH] Add script for removing ceph monitors

---
 ceph-mon-stop-delete | 17 +++++++++++++++++
 monit-remove         |  8 +++++---
 2 files changed, 22 insertions(+), 3 deletions(-)
 create mode 100755 ceph-mon-stop-delete

diff --git a/ceph-mon-stop-delete b/ceph-mon-stop-delete
new file mode 100755
index 0000000..6ec1645
--- /dev/null
+++ b/ceph-mon-stop-delete
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+if [ $# -ne 0 ]; then
+    echo "$0 (no arguments"
+    exit 1
+fi
+
+mon=mon.$(hostname)
+
+# Starting with monit, if available
+if [ -e /etc/monit ]; then
+    /opt/ungleich-tools/monit-remove "$mon"
+else
+    /etc/init.d/ceph stop "$mon"
+fi
+
+ceph mon remove "${mon}"
diff --git a/monit-remove b/monit-remove
index f60d2bc..9487e85 100755
--- a/monit-remove
+++ b/monit-remove
@@ -10,9 +10,11 @@ fi
 
 to_monitor=$1
 
-set -e
-
 conf="/etc/monit/conf.d/$to_monitor"
 
+
+monit stop "$to_monitor"
+sleep 1
+
 rm -f "$conf"
-monit reload
+/etc/init.d/monit restart