Changeset 18655 for greenstone3/trunk/src/java/org/greenstone/server/Server3Property.java

Timestamp:

2009-03-10T17:50:13+13:00 (15 years ago)

Author:

ak19

Message:

Made some ServerProperty variables final.

File:

• greenstone3/trunk/src/java/org/greenstone/server/Server3Property.java (modified) (1 diff)

greenstone3/trunk/src/java/org/greenstone/server/Server3Property.java

@@ -7 +7 @@
     Server3Property()
     {
-    GSDL_HOME = "gsdl3.home";
-    GSDL_VERSION = "gsdl3.version";
+    // Initialising customised final variables 
+    // GSDL_HOME, GSDL_VERSION, WEB_PORT
+    super("gsdl3.home", "gsdl3.version", "tomcat.port");
     }