Changeset 18258

Show
Ignore:
Timestamp:
18.12.2008 16:33:45 (10 years ago)
Author:
cc108
Message:

add new gsgl home path argument

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/src/java/org/greenstone/admin/gui/Mat.java

    r18240 r18258  
    8989    static String os_type; 
    9090    static String oai_folder; 
    91      
     91    static String web_xml_path; 
    9292    static final String InstallCompleteMsg = "The extension (Mat) has been installed successfully."; 
    9393    static final String InstallErrorMsg =  "Sorry, the extension (Mat) could not be installed. Please try again!"; 
     
    119119    extension_path = gsdl3Home+fileSeparator+"ext"+fileSeparator+"mat"+fileSeparator; 
    120120    oai_folder = gsdl3Home+fileSeparator+"ext"+fileSeparator+"mat"+fileSeparator+"tmp"+fileSeparator; 
     121    web_xml_path = gsdl3Home+fileSeparator+"web"+fileSeparator+"WEB-INF"; 
    121122     
    122123    start_button = new JButton("Analyse");