Changeset 16333

Show
Ignore:
Timestamp:
10.07.2008 13:10:29 (11 years ago)
Author:
anna
Message:

By default GLI Help reads the index files (table of content) from GLI.jar, but then updates in the local help_index.xml can't be shown in GLI unless the current GLI.jar is deleted or a new GLI.jar is created. So now the default option is changed: if GLI applet is in use, use Jar file; otherwise, read from the classes folder. This is also consistent with other read operations in the class.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/src/org/greenstone/gatherer/gui/HelpFrame.java

    r12119 r16333  
    226226        try { 
    227227        String help_index_file_path = getHelpFolder() + "help_index.xml"; 
    228         Document document = XMLTools.parseXMLFile(help_index_file_path, true); 
     228        Document document = null; 
     229        if (Gatherer.isApplet && JarTools.getResource(help_index_file_path) != null) { 
     230            document = XMLTools.parseXMLFile(help_index_file_path, true); 
     231        } 
     232         
     233        if (new File(help_index_file_path).exists()) { 
     234            document = XMLTools.parseXMLFile(help_index_file_path, false); 
     235        }        
    229236 
    230237        // Traverse the help hierarchy, building a tree representing its structure