Changeset 18357 for gli

Show
Ignore:
Timestamp:
12.01.2009 11:18:13 (11 years ago)
Author:
kjdon
Message:

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

Files:
1 modified

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