]> git.donarmstrong.com Git - spamassassin_config.git/blobdiff - update_spamassassin
Moved listserver to liszt
[spamassassin_config.git] / update_spamassassin
index 2610c9ede227861876f383d0c11f5e8796541084..b5641365f21023ba73d728debfd7e00731e9c632 100755 (executable)
@@ -12,7 +12,7 @@ TMPDIR=$(mktemp -d);
 if [ "$HOSTNAME" == "rietz" ]; then
     BASEDIR="/org/bugs.debian.org"
     USERCONF="bugs/user_prefs";
-elif [ "$HOSTNAME" == "murphy" ]; then
+elif [ "$HOSTNAME" == "liszt" ]; then
     BASEDIR="/var/list/.etc";
     USERCONF="lists/user_prefs";
 else
@@ -81,13 +81,13 @@ if ! spamassassin -p $TMPDIR/spamassassin_config/$USERCONF --lint > $TMPDIR/sa_l
 fi;
 mv "$SACONFIG" "$BAKDIR/spamassassin_config_r$ORIGREV"
 mv "$TMPDIR/spamassassin_config" "$SACONFIG"
-trap ERR
+trap ERR
 remove_pidfile
 rm -rf "$TMPDIR"
 
 if [ "$HOSTNAME" == "rietz" ]; then
     touch /home/debbugs/.spamassassin/user_prefs
-elif [ "$HOSTNAME" == "murphy" ]; then
+elif [ "$HOSTNAME" == "liszt" ]; then
     # do nothing
     true;
 else