#!/bin/csh -f
setenv KRBTKFILE /tmp/pips_ticks
#export KRBTKFILE
/usr/athena/bin/kdestroy
/var/ti/local/krbtgp -s -keyfile /etc/ti_serve_key ti_serve
/etc/chown ti_serve /tmp/pips_ticks