# Terminate current k5start process, if one is running.
if test -f "$K5PID"; then
kill `cat -- "$K5PID"`
- k5start -qtU -f "$KTAB" -- rm -f "$K5PID"
+ /usr/bin/k5start -qtU -f "$KTAB" -- rm -f "$K5PID"
fi
# Start fresh k5start daemon which will be refreshing tickets every 540 min