## greenstone home
gsdl3.home=@gsdl3home@

# tomcat info
tomcat.server=@tomcat.server@
tomcat.port=@tomcat.port@
tomcat.context=greenstone3

## Proxy setup - set these if you are behind a firewall and you want services that access the internet
# The proxy server name 
proxy.host=
# The proxy server port
proxy.port=
# A user name to use when talking to the proxy server 
proxy.user=
# A password to use when talking to the proxy server 
proxy.password=

## mysql server
mysql.tcp.port=@mysql.port@
mysql.server=@mysql.server@
mysql.gsdl3reader.password=@mysql.admin.pword@
mysql.gsdl3admin.password=@mysql.reader.pword@