Changeset 18655

Show
Ignore:
Timestamp:
10.03.2009 17:50:13 (10 years ago)
Author:
ak19
Message:

Made some ServerProperty? variables final.

Location:
greenstone3/trunk/src/java/org/greenstone/server
Files:
3 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/src/java/org/greenstone/server/BaseProperty.java

    r18558 r18655  
    33public class BaseProperty { 
    44 
    5     public String GSDL_HOME = "gsdl3.home"; 
    6     public String GSDL_VERSION = "gsdl3.version"; 
    7     public String AUTOSTART = "server.auto.start"; 
    8     public String DEFAULT_SERVLET = "server.default.servlet"; 
     5    public final String GSDL_HOME; 
     6    public final String GSDL_VERSION; 
     7    public final String AUTOSTART = "server.auto.start"; 
     8    public final String DEFAULT_SERVLET = "server.default.servlet"; 
    99 
    10     public String WEB_PORT = "tomcat.port"; 
     10    public final String WEB_PORT; 
    1111 
    12     public String WIN_9X_OPEN_COMMAND = "command.com /c start %1"; 
    13     public String WIN_OPEN_COMMAND = "cmd.exe /c start \"\" %1"; 
    14     public String MAC_OPEN_COMMAND = "open %1"; 
     12    public final String WIN_9X_OPEN_COMMAND = "command.com /c start %1"; 
     13    public final String WIN_OPEN_COMMAND = "cmd.exe /c start \"\" %1"; 
     14    public final String MAC_OPEN_COMMAND = "open %1"; 
    1515 
    16     public String BROWSER_PATH = "browser.path"; 
     16    public final String BROWSER_PATH = "browser.path"; 
     17 
     18    protected BaseProperty(String gsdl_home,  
     19               String gsdl_version, String web_port)  
     20    { 
     21    GSDL_HOME = gsdl_home; 
     22    GSDL_VERSION = gsdl_version; 
     23    WEB_PORT = web_port; 
     24    } 
     25 
    1726} 
  • greenstone3/trunk/src/java/org/greenstone/server/Server2Property.java

    r18558 r18655  
    77    Server2Property() 
    88    { 
    9     GSDL_HOME = "gsdl2.home"; 
    10     GSDL_VERSION = "gsdl2.version"; 
     9    // Initialising customised final variables  
     10    // GSDL_HOME, GSDL_VERSION, WEB_PORT 
     11    super("gsdl2.home", "gsdl2.version", "apache.port"); 
    1112    } 
    1213 
  • greenstone3/trunk/src/java/org/greenstone/server/Server3Property.java

    r18558 r18655  
    77    Server3Property() 
    88    { 
    9     GSDL_HOME = "gsdl3.home"; 
    10     GSDL_VERSION = "gsdl3.version"; 
     9    // Initialising customised final variables  
     10    // GSDL_HOME, GSDL_VERSION, WEB_PORT 
     11    super("gsdl3.home", "gsdl3.version", "tomcat.port"); 
    1112    } 
    1213