From f38f055e84daef741f5fc179cdc663396150f6ca Mon Sep 17 00:00:00 2001
From: Ben Firshman <ben@firshman.co.uk>
Date: Wed, 5 Dec 2012 14:08:41 +0000
Subject: [PATCH] Make debian prerm not fail if diamond is not running

---
 debian/prerm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)