From 9f6a83ccc9a6c9925b9be6e30b16d9cad0df8a96 Mon Sep 17 00:00:00 2001
From: Kjetil Olsen Lye <kjetil.olsen.lye@sintef.no>
Date: Fri, 25 Oct 2013 17:33:16 +0200
Subject: [PATCH] Updated the termination script for trell.

---
 debian/postrm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/postrm b/debian/postrm
index 29e7f98..4896e1c 100755
--- a/debian/postrm
+++ b/debian/postrm
@@ -12,12 +12,12 @@ if [ -f /tmp/trell_master.pid ]
 then
     pid=$(cat /tmp/trell_master.pid)
     # Check if it's really the trell_master pid
-    if [[ $(ps ${pid}) == *"trell_master"* ]]
+    if [[ $(ps ${pid}) == *"tinia_trell_master"* ]]
     then
 	kill -SIGTERM ${pid}
-	echo "Trying to kill trell_master, waiting 3 seconds"
+        echo "Trying to kill tinia_trell_master, waiting 3 seconds"
 	sleep 3s
-	if [[ $(ps ${pid}) == *"trell_master"* ]]
+        if [[ $(ps ${pid}) == *"tinia_trell_master"* ]]
 	then
 	    echo "WARNING: trell_master did not die from SIGTERM, doing kill -9"
 	    kill -9 ${pid}