#!/bin/csh -f

cd /usr/local/techinfo/techinpher/admin loop: ./techinpher -d -p 9001 >& out set timestr = `date '+%h%d.%T.'` mv -f core "core.$timestr" mv -f out "out.$timestr" /usr/ucb/mail -s "TechInpher gateway exited unexpectedly, core saved as core.$timestr" penninfo-gopher@dccs.upenn.edu < /dev/null sleep 600 goto loop