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