#!/bin/sh # newsbomb [n] # Unless interrupted, blow away NeWS server after "n" (default 30) # seconds. Useful as a safety net when running things likely to # hang the server. # By Stan Switzer TIME=$1 if test -z "$TIME"; then TIME=30; fi PID=`ps | sed -n -e '/[^]] news_server/s/^ *\([0123456789]*\) .*$/\1/p'` while echo -n "$TIME " && TIME=`expr $TIME - 1` && test $TIME -ge 0; do sleep 1 done && echo "DIE!" && kill $PID