docelic's principal name changes

[hcoop/domtool2.git] / scripts / domtool-server

diff --git a/scripts/domtool-server b/scripts/domtool-server
index c0364e7..6ad1be6 100755 (executable)
--- 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 \
        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.`hostname` \

                        -K 300 -t -p $PIDFILE \
                        -K 300 -t -p $PIDFILE \

-                       domtool/deleuze.hcoop.net \

                        domtool-server-logged
                echo "."
        fi
                        domtool-server-logged
                echo "."
        fi