#! /bin/sh

Jini=@tonicjini@
RmiPort	=@tonic_rmid_port@
ServerHost=@tonichost@@tonicdomain@
ServerPort=@tonic_server_port@

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

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

TxnMgrLog=/tmp/txnmgr.log.$ServerPort
\rm -rf $TxnMgrLog

java	-jar -Djava.security.policy=@prefix@/tonic/lib/policy.all \
	-Djava.rmi.activation.port=$RmiPort \
	-Dcom.sun.jini.mahalo.managerName=TransactionManager \
	$Jini/lib/mahalo.jar \
	http://${ServerHost}:${ServerPort}/mahalo-dl.jar \
	@prefix@/tonic/lib/policy.all \
	$TxnMgrLog public &

echo $!