config=$NAME.xml
mkconfig=$NAME.sh
+. krb5_env.sh
+
if [ "$PORTALS" ]; then
portals_opt="--portals=$PORTALS"
fi
--dump $TMP/debug $conf_opt
rc=$?
echo "lconf DONE"
+stop_lsvcgssd
+stop_lgssd
+
BUSY=`dmesg | grep -i destruct`
if [ "$BUSY" ]; then
echo "$BUSY" 1>&2