#!/bin/sh
/var/ti/local/setup
echo "Getting tickets"
KRBTKFILE=/tmp/pips_ticks
export KRBTKFILE
echo "starting Techinfo server"
/var/ti/local/pips_server &