From cd472760657ee0e60f929d4428cd497ac5de3b2f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 22 Jan 2013 08:12:48 +0100
Subject: [PATCH] avoid using rpm

---
 init.d/sfa | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.d/sfa b/init.d/sfa
index d5b0bb45..45b6981a 100755
--- a/init.d/sfa
+++ b/init.d/sfa
@@ -244,7 +244,7 @@ function db_start () {
 
     ######## Start up the server
     # not too nice, but.. when co-located with myplc we'll let it start/stop postgresql
-    if ! rpm -q myplc >& /dev/null ; then
+    if [ ! -f /etc/myplc-release ] ; then
 	echo STARTING...
 	service postgresql start >& /dev/null
     fi
-- 
2.47.0