# Butcher WileyMUD if [ -f /home/wiley/etc/wiley.pid ]; then WILEYPID=`ps -axw | grep wileymud | grep -v grep | awk '{print $1}'` if [ -n "$WILEYPID" ]; then kill -USR1 $WILEYPID sleep 5 fi unset WILEYPID kill -TERM `cat /home/wiley/etc/wiley.pid` rm -f /home/wiley/etc/wiley.pid fi