#!/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" [email protected] < /dev/null
       sleep 600
       goto loop

You are viewing proxied material from gopher.quux.org. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.