Changeset 18357


Ignore:
Timestamp:
01/12/09 11:18:13 (12 years ago)
Author:
kjdon
Message:

updated the rtl-gli branch with files from trunk. Result of a merge 14807:18318

File:
1 edited

Legend:

Unmodified
Added
Removed
  • gli/branches/rtl-gli/src/org/greenstone/gatherer/greenstone3/ServletConfiguration.java

    r14592 r18357  
    7070
    7171    if (Gatherer.isGsdlRemote){
    72         if (RemoteGreenstoneServer.downloadWebXMLFile().equals("")) {
     72        if (Gatherer.remoteGreenstoneServer.downloadWebXMLFile().equals("")) {
    7373        System.err.println("Error: Could not download web.xml.");
    7474        System.exit(0);
     
    8989    this.sites = new ArrayList();
    9090    if (Gatherer.isGsdlRemote){
    91         String sites_on_server = RemoteGreenstoneServer.getSiteNames();
     91        String sites_on_server = Gatherer.remoteGreenstoneServer.getSiteNames();
    9292        if (sites_on_server.equals("")) {
    9393        // !! Something went wrong : could not get names of the sites
Note: See TracChangeset for help on using the changeset viewer.