+stop_debian() {
+ printf "Stopping DisOrder server: disorderd"
+ start-stop-daemon -K -o -q -x ${DAEMON}
+ echo .
+}
+
+stop_generic() {
+ if ${CLIENT} version >/dev/null 2>&1; then
+ printf "Stopping DisOrder server: disorderd"
+ ${CLIENT} shutdown
+ echo .
+ else
+ : not running
+ fi
+}
+