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
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