#!/bin/ksh

if [ ${HOME:-x} = x ]; then export HOME=/users2/bill; fi
if [ ${EMPIREPORT:-x} = x ]; then EMPIREPORT=1617; fi
if [ ${EMPIREHOST:=x} = x ]; then EMPIREHOST=hpcvxst; fi
if [ ${EMPIREBASE:=x} = x ]; then EMPIREBASE=$HOME/games/empire; fi
if [ ${EMPIREDATA:=x} = x ]; then EMPIREDATA=$HOME/games/EMP; fi

#  Force the game to go down by killing all its processes

echo Killing emp processes: `ps -ubill|grep "emp_"|cut -c 0-7`
rm $EMPIREDATA/data/tm_port 2>/dev/null
kill -9 `ps -ubill|grep "emp_"|cut -c 0-7` 2>/dev/null
sleep 5
