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

diff --git a/scripts/domtool-server b/scripts/domtool-server
index c0364e7..da7282a 100755
--- a/scripts/domtool-server
+++ b/scripts/domtool-server
@@ -15,9 +15,9 @@ case $1 in
 	else
 		start-stop-daemon --start --pidfile $PIDFILE \
 			-c domtool:domtool \
-			--exec /usr/bin/k5start -- -b -f /etc/keytabs/domtool.keytab \
+			--exec /usr/bin/k5start -- -U -b \
+			-f /etc/keytabs/domtool \
 			-K 300 -t -p $PIDFILE \
-			domtool/deleuze.hcoop.net \
 			domtool-server-logged
 		echo "."
 	fi
@@ -35,7 +35,7 @@ case $1 in
 	;;
 
   restart|reload|force-reload)
-	$SELF stop
+	set +e; $SELF stop; set -e
 	$SELF start
 	;;