Changeset 18258 for greenstone3

Timestamp:

2008-12-18T16:33:45+13:00 (15 years ago)

Author:

cc108

Message:

add new gsgl home path argument

File:

• greenstone3/trunk/src/java/org/greenstone/admin/gui/Mat.java (modified) (2 diffs)

greenstone3/trunk/src/java/org/greenstone/admin/gui/Mat.java

@@ -89 +89 @@
     static String os_type;
     static String oai_folder;
-    
+    static String web_xml_path;
     static final String InstallCompleteMsg = "The extension (Mat) has been installed successfully.";
     static final String InstallErrorMsg =  "Sorry, the extension (Mat) could not be installed. Please try again!";
@@ -119 +119 @@
     extension_path = gsdl3Home+fileSeparator+"ext"+fileSeparator+"mat"+fileSeparator;
     oai_folder = gsdl3Home+fileSeparator+"ext"+fileSeparator+"mat"+fileSeparator+"tmp"+fileSeparator;
+    web_xml_path = gsdl3Home+fileSeparator+"web"+fileSeparator+"WEB-INF";
     
     start_button = new JButton("Analyse");