X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e8872a45f6fe18a48b206d8ff24d4391c7b17b81..cf1be826ae357936594618d1a580d4b26e92493f:/scripts/domtool-server

diff --git a/scripts/domtool-server b/scripts/domtool-server
index 6ad1be6..da7282a 100755
--- a/scripts/domtool-server
+++ b/scripts/domtool-server
@@ -16,7 +16,7 @@ case $1 in
 		start-stop-daemon --start --pidfile $PIDFILE \
 			-c domtool:domtool \
 			--exec /usr/bin/k5start -- -U -b \
-			-f /etc/keytabs/domtool.`hostname` \
+			-f /etc/keytabs/domtool \
 			-K 300 -t -p $PIDFILE \
 			domtool-server-logged
 		echo "."
@@ -35,7 +35,7 @@ case $1 in
 	;;
 
   restart|reload|force-reload)
-	$SELF stop
+	set +e; $SELF stop; set -e
 	$SELF start
 	;;