# Sample Tonic resource file.  To customize Tonic at runtime, either
# create $HOME/.tonicrc (e.g, by copying this file) or set a TONICRC
# environment variable to point to such a file.
#
# This script may define any legal Bourne shell variable and use any
# Bourne shell construct.  Remember, though, that the simpler you 
# keep this file, the faster your scripts will run.
#
# The following variables, if set, will customize the Tonic runtime:
#
#	Jini		The directory where Jini has been installed
#
#	Tonic		The directory where the Tonic distribution has
#			been unpacked.
#
#	ServerHost	The symbolic or numeric address of the machine
#			hosting the tuplespace.  It may include a domain.
#
#	ServerPort	Port on ${ServerHost} from which codebase will
#			be served.
#	RmiPort		Port on which rmid will listen.
# 
# Customizing these variables in a tonicrc file provides great flexibility,
# for example to support multiple users testing multiple Jini, Tonic, or
# add-on computation frameworks simultaneously.
#
# At configure time these variables are set to default values of
#
#	Tonic		@tonicroot@
#	Jini		@tonicjini@
#	ServerHost	@tonichost@@tonicdomain@
#	ServerPort	@tonic_server_port@
#	RmiPort		@tonic_rmid_port@
#	SpaceName	@tonic_space_name@
#	HeapSize	@tonic_java_heap_size@
# 
# Run configure --help for details on how to set or change the defaults.

# Here are a few examples of setting the Tonic-specific variables.  Note
# that only the simplest <name>=<value> statements are actually needed.

SpaceName=LostInSpace
RmiPort=2139
ServerPort=8282