stop_servers_local [plain text]
#!/bin/sh
DUMMY=${TESTDIR=$TOP/testing}
DUMMY=${RESTORE_FILES=$TESTDIR/scripts/restore_files.sh}
DUMMY=${KRB5RCACHEDIR=$TESTDIR}
v4files=false
while [ $ case $1 in
-start_servers)
start_servers=$1
;;
-v4files)
v4files=true
;;
*)
TOP=$1
export TOP
;;
esac
shift
done
if $VERBOSE; then echo "Killing servers:"; fi
for pid in xxx \
`$PS_ALL | grep krb5kdc | grep -v grep | awk '{print $2}'` \
`$PS_ALL | grep kadmind | grep -v grep | awk '{print $2}'` \
; do
case "$pid" in
xxx)
;;
*)
if $VERBOSE; then $PS_PID$pid | grep -v COMMAND; fi
kill $pid
;;
esac
done
if test "x$USER" = x ; then
USER=$LOGNAME
fi
rm -f $KRB5RCACHEDIR/krb5kdc_rcache.$USER
if $v4files; then
$RESTORE_FILES $start_servers
fi
exit 0