Changeset 18357 for gli/branches/rtl-gli/src/org/greenstone/gatherer/greenstone3/ServletConfiguration.java
- Timestamp:
- 2009-01-12T11:18:13+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/branches/rtl-gli/src/org/greenstone/gatherer/greenstone3/ServletConfiguration.java
r14592 r18357 70 70 71 71 if (Gatherer.isGsdlRemote){ 72 if ( RemoteGreenstoneServer.downloadWebXMLFile().equals("")) {72 if (Gatherer.remoteGreenstoneServer.downloadWebXMLFile().equals("")) { 73 73 System.err.println("Error: Could not download web.xml."); 74 74 System.exit(0); … … 89 89 this.sites = new ArrayList(); 90 90 if (Gatherer.isGsdlRemote){ 91 String sites_on_server = RemoteGreenstoneServer.getSiteNames();91 String sites_on_server = Gatherer.remoteGreenstoneServer.getSiteNames(); 92 92 if (sites_on_server.equals("")) { 93 93 // !! Something went wrong : could not get names of the sites
Note:
See TracChangeset
for help on using the changeset viewer.