]> git.donarmstrong.com Git - spamassassin_config.git/blobdiff - update_spamassassin
scoring PHPMAiler higher
[spamassassin_config.git] / update_spamassassin
index 12ff0c313c4f42fba7e898758542a2b45331c73a..46b4952357d5838ebb75e37213b89911971909d2 100755 (executable)
@@ -11,7 +11,7 @@ TMPDIR=$(mktemp -d);
 
 HOSTNAME=$(hostname);
 
-if [ "$HOSTNAME" = "rietz" ] || [ "$HOSTNAME" = "busoni" ]; then
+if [ "$HOSTNAME" = "buxtehude" ]; then
     BASEDIR="/org/bugs.debian.org"
     USERCONF="bugs/user_prefs";
 elif [ "$HOSTNAME" = "bendel" ]; then
@@ -94,13 +94,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 - 0
 remove_pidfile
 rm -rf "$TMPDIR"
 
-if [ "$HOSTNAME" == "rietz" ]; then
+if [ "$HOSTNAME" = "buxtehude" ]; then
     touch /home/debbugs/.spamassassin/user_prefs
-elif [ "$HOSTNAME" == "bendel" ]; then
+elif [ "$HOSTNAME" = "bendel" ]; then
     # do nothing
     true;
 else