Changeset 18670
- Timestamp:
- 2009-03-13T13:14:12+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/Server3.java
r18558 r18670 6 6 import org.greenstone.server.BaseServer; 7 7 import org.greenstone.server.BaseProperty; 8 import org.greenstone.gsdl3.util.GlobalProperties; 8 9 9 10 public class Server3 extends BaseServer … … 12 13 public Server3(String gsdl3_src_home, String lang) 13 14 { 14 super(gsdl3_src_home,lang );15 super(gsdl3_src_home,lang, gsdl3_src_home+File.separatorChar+"build.properties"); 15 16 16 17 Property = new Server3Property(); … … 36 37 } 37 38 39 public String getBrowserURL() { 40 return GlobalProperties.getGSDL3WebAddress()+ build_properties.getProperty(BaseServer.Property.DEFAULT_SERVLET); 41 } 42 43 public void reload() { 44 GlobalProperties.reload(); // properties file may have changed, so reload it 45 } 46 38 47 public static void main (String[] args) 39 48 {
Note:
See TracChangeset
for help on using the changeset viewer.