#! /bin/sh

RmiPort=@tonic_rmid_port@
HeapSize=@tonic_java_heap_size@

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

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

RmiLog=/tmp/rmi.log.$ServerPort
\rm -rf $RmiLog

# Set umask that anyone can delete the RMI log.  I know, not terribly
# secure, but it simplifies multi-user testing. 
umask 000
rmid -port $RmiPort -log $RmiLog -J$HeapSize \
	-J-Djava.security.policy=@prefix@/tonic/lib/policy.all &

echo $!