From 721ff8ccc6a84ecb2285c997b0fd07c8b972d9de Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 17 Nov 2007 16:10:48 +0000 Subject: [PATCH] Switch to one Domtool principal --- scripts/domtool-server | 2 +- scripts/domtool-slave | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/domtool-server b/scripts/domtool-server index 6ad1be6..e10d671 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 "." diff --git a/scripts/domtool-slave b/scripts/domtool-slave index 73c9f4b..2d5588f 100755 --- a/scripts/domtool-slave +++ b/scripts/domtool-slave @@ -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-slave-logged echo "." -- 2.20.1