1 | #### properties file for Greenstone3 building using ANT. See the README for more
|
---|
2 | #### information
|
---|
3 |
|
---|
4 | ## java compilation properties - for javac
|
---|
5 | #Should compilation include the debug option?
|
---|
6 | compile.debug=true
|
---|
7 | #Should compilation include the deprecation option?
|
---|
8 | compile.deprecation=true
|
---|
9 | #Should compilation include the optimize option?
|
---|
10 | compile.optimize=true
|
---|
11 |
|
---|
12 | ## windows c++ compilation
|
---|
13 | compile.windows.c++.setup=C:/Program Files/Microsoft Visual Studio/VC98/Bin/VCVARS32.BAT
|
---|
14 |
|
---|
15 | ## Tomcat installation
|
---|
16 | #Set this to the internet/intranet name of the machine that Tomcat is/will be run on. localhost is fine for accessing the server from the local machine, but not remotely
|
---|
17 | tomcat.server=localhost
|
---|
18 | # The port number that tomcat is/will be run on
|
---|
19 | tomcat.port=8080
|
---|
20 | # Tomcat's shutdown port - this may need to be changed if you are running two or more Tomcats
|
---|
21 | tomcat.shutdown.port=8005
|
---|
22 | # If tomcat is already running, enter the path to the base directory here
|
---|
23 | tomcat.installed.path=
|
---|
24 | #uncomment the following if you have moved the greenstone3 web directory to tomcats webapps dir
|
---|
25 | #web.home=${tomcat.installed.path}/webapps/greenstone3
|
---|
26 |
|
---|
27 | ## Collection building options
|
---|
28 | # uncomment if you don't want to have collection building enabled
|
---|
29 | #disable.collection.building=true
|
---|
30 |
|
---|
31 | ## Greenstone 3 server program options
|
---|
32 | # does running the server automatically start up Tomcat and a browser
|
---|
33 | server.auto.start=false
|
---|
34 | # default servlet to start with
|
---|
35 | server.default.servlet=/library
|
---|
36 |
|
---|
37 | ##Browser setup
|
---|
38 | browser.path=
|
---|
39 |
|
---|
40 | ## Proxy setup - Greenstone installation will attempt to download extra packages. Set the proxy information here if you are behind a firewall.
|
---|
41 | # The proxy server name
|
---|
42 | proxy.host=
|
---|
43 | # The proxy server port
|
---|
44 | proxy.port=
|
---|
45 | # A user name to use when talking to the proxy server (optional, will prompt if not entered here)
|
---|
46 | proxy.user=
|
---|
47 | # A password to use when talking to the proxy server (optional, will prompt if not entered here)
|
---|
48 | proxy.password=
|
---|
49 |
|
---|
50 | ## Mac OS X specific stuff
|
---|
51 | # set the path to your GDBM here
|
---|
52 | gdbm.installed.path=
|
---|