X-Git-Url: https://git.donarmstrong.com/?p=spamassassin_config.git;a=blobdiff_plain;f=update_spamassassin;h=2610c9ede227861876f383d0c11f5e8796541084;hp=f9e02d65a0e2a3499e8cca6eaaf6401ac26fb3a1;hb=932f404dae7938a1b141ec4e0462574df939b3ee;hpb=e5450158fb8062de70e9ce05c6a2b12fc8c5113b

diff --git a/update_spamassassin b/update_spamassassin
index f9e02d6..2610c9e 100755
--- a/update_spamassassin
+++ b/update_spamassassin
@@ -14,7 +14,7 @@ if [ "$HOSTNAME" == "rietz" ]; then
     USERCONF="bugs/user_prefs";
 elif [ "$HOSTNAME" == "murphy" ]; then
     BASEDIR="/var/list/.etc";
-    USERCONF="bugs/user_prefs";
+    USERCONF="lists/user_prefs";
 else
     echo "Unknown hostname '$HOSTNAME'";
     exit 1;
@@ -32,7 +32,7 @@ if [ $ORIGREV -ge $NEWREV ]; then
     exit 0;
 fi;
 
-if [ -e "$SACONFIG/.update_spamassassin" ] && kill -0 $(cat "$SACONFIG/.update_spamassassin"); then
+if [ -e "$SACONFIG/.update_spamassassin" ] && kill -0 $(cat "$SACONFIG/.update_spamassassin") >/dev/null 2>&1; then
     echo "Another update_spamassassin appears to be running"
     exit 1;
 else
@@ -89,6 +89,7 @@ if [ "$HOSTNAME" == "rietz" ]; then
     touch /home/debbugs/.spamassassin/user_prefs
 elif [ "$HOSTNAME" == "murphy" ]; then
     # do nothing
+    true;
 else
     echo "Unknown hostname '$HOSTNAME'";
     exit 1;