3 DUMMY=${TESTDIR=$TOP/testing}
4 DUMMY=${KRB5RCACHEDIR=$TESTDIR}
6 while [ $# -gt 0 ] ; do
19 # kill any running servers.
21 if $VERBOSE; then echo "Killing servers:"; fi
24 `$PS_ALL | grep krb5kdc | grep -v grep | awk '{print $2}'` \
25 `$PS_ALL | grep kadmind | grep -v grep | awk '{print $2}'` \
31 if $VERBOSE; then $PS_PID$pid | grep -v COMMAND; fi
37 # Destroy the kdc replay cache so we don't lose if we try to run the
38 # KDC as another unix user.
39 if test "x$USER" = x ; then
42 rm -f $KRB5RCACHEDIR/krb5kdc_rcache.$USER