#! /bin/sh

CleanDir() { if [ -d $1 ] ; then \rm -rf $1 ; fi }

ServerPort=@tonic_server_port@
SpaceName=@tonic_space_name@
RmiPort=@tonic_rmid_port@

if [ "$TONICRC" = "" ] ; then
   TONICRC=$HOME/.tonicrc
fi

if [ -f $TONICRC ] ; then
   . $TONICRC
fi

LookupLog=/tmp/reggie.log.$ServerPort
RmiLog=/tmp/rmi.log.$ServerPort
TxnMgrLog=/tmp/txnmgr.log.$ServerPort
ServerProcs=/tmp/tonicSession.$ServerPort

if [ -f $ServerProcs  ] ; then
   echo "Bringing down the $SpaceName space."
else
   echo "The '"$SpaceName"' space appears to have already been brought down."
   echo "You can check for sure by running: lj | awk '{print \$1}'"
   exit
fi

for proc in `head -1 $ServerProcs` ; do
	echo Bringing down process $proc
	kill -9 $proc > /dev/null 2>&1
done

rmid -port $RmiPort -stop

\rm -f $ServerProcs
CleanDir $LookupLog
CleanDir $RmiLog
CleanDir $TxnMgrLog