diff --git a/debian/prerm b/debian/prerm index d790d52b9..b6c702a64 100644 --- a/debian/prerm +++ b/debian/prerm @@ -17,7 +17,7 @@ set -e # the debian-policy package # Stop diamond if it's running -stop diamond +stop diamond || true case "$1" in remove|upgrade|deconfigure)