Ignore:
Timestamp:
2009-01-12T11:18:06+13:00 (15 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/greenstone/Plugins.java

    r13594 r18356  
    8383    // If we've found the plugin, load its arguments now, if required
    8484    if (plugin != null && arguments_required) {
    85         if (plugin.getArguments().size() == 0 && plugin.didLoadingOptionsFail() == false) {
     85        if (!plugin.hasLoadedOptions()) {
    8686        loadPluginInfo(plugin, collection_specific);
    8787        }
     
    135135            pluginfo_options += "&collection=" + collection_name;
    136136        }
    137         pluginfo_xml = RemoteGreenstoneServer.getScriptOptions("pluginfo.pl", pluginfo_options);
     137        pluginfo_xml = Gatherer.remoteGreenstoneServer.getScriptOptions("pluginfo.pl", pluginfo_options);
    138138        }
    139139        else {
     
    165165        // Check the XML output was obtained successfully
    166166        if (pluginfo_xml == null || pluginfo_xml.length() == 0) {
    167         plugin.setLoadingOptionsFailed();
     167        plugin.setHasLoadedOptions(false); // failure to load options
    168168        JOptionPane.showMessageDialog(Gatherer.g_man, Dictionary.get("CDM.PlugInManager.PlugIn_XML_Parse_Failed", plugin.getName()), Dictionary.get("General.Error"), JOptionPane.ERROR_MESSAGE);
    169169        return;
     170        } else {
     171        plugin.setHasLoadedOptions(true);
    170172        }
    171173
     
    196198            pluginfo_options += "&collection=" + collection_name;
    197199        }
    198         String pluginfo_output = RemoteGreenstoneServer.getScriptOptions("pluginfo.pl", pluginfo_options);
     200        String pluginfo_output = Gatherer.remoteGreenstoneServer.getScriptOptions("pluginfo.pl", pluginfo_options);
    199201        xml = new StringBuffer(pluginfo_output);
    200202        }
     
    243245    Document document = XMLTools.parseXML(new StringReader(xml));
    244246    if (document == null) {
    245         plugin.setLoadingOptionsFailed();
     247        plugin.setHasLoadedOptions(false); // failure to load the options/failed plugin
    246248        JOptionPane.showMessageDialog(Gatherer.g_man, Dictionary.get("CDM.PlugInManager.PlugIn_XML_Parse_Failed", plugin.getName()), Dictionary.get("General.Error"), JOptionPane.ERROR_MESSAGE);
    247249        return;
     250    } else {
     251        plugin.setHasLoadedOptions(true);
    248252    }
    249253
     
    268272        else if (node_name.equalsIgnoreCase("Explodes")) {
    269273        plugin.setDoesExplodeMetadataDatabases(XMLTools.getValue(node).equalsIgnoreCase(StaticStrings.YES_STR));
     274        }
     275        else if (node_name.equalsIgnoreCase("SourceReplaceable")) { // looking for <SourceReplaceable> tag
     276        plugin.setDoesReplaceSrcDocsWithHtml(XMLTools.getValue(node).equalsIgnoreCase(StaticStrings.YES_STR));
    270277        }
    271278        else if (node_name.equalsIgnoreCase("Processes")) {
Note: See TracChangeset for help on using the changeset viewer.