Changeset 18257
- Timestamp:
- 2008-12-18T16:32:29+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/admin/gui/ExtensionInstallation.java
r18253 r18257 59 59 import javax.swing.text.StyledDocument; 60 60 import java.io.DataInputStream; 61 import java.io.*; 62 import java.awt.Insets; 61 63 62 64 class ExtensionInstallation extends Thread { … … 115 117 ExtPane.message_textarea.append(timestamp); 116 118 proc.waitFor(); 117 JTextPaneStyle msgpane = new JTextPaneStyle(adaptee.extension_path );119 JTextPaneStyle msgpane = new JTextPaneStyle(adaptee.extension_path,adaptee.web_xml_path); 118 120 msgpane.display(); 119 121 … … 137 139 JFrame frame = new JFrame("The extension (Mat) has been installed!!!"); 138 140 private String filePath; 139 140 public JTextPaneStyle (String path ){141 private String webPath; 142 public JTextPaneStyle (String path, String web_xml_path){ 141 143 filePath = path + "README.txt"; 144 webPath = web_xml_path; 142 145 loadReadMe(); 143 146 } … … 154 157 155 158 while ((strLine = br.readLine()) != null) { 159 if(strLine.indexOf("web@xml@path")!=-1){ 160 webPath = webPath.replaceAll("\\\\","/"); 161 strLine = strLine.replaceAll("web@xml@path",webPath); 162 strLine = strLine.replaceAll("/","\\\\"); 163 } 156 164 message = message+ "\n "+ strLine; 157 165 } … … 170 178 JTextArea textPane = new JTextArea(message); 171 179 textPane.setEditable(false); 180 textPane.setLineWrap(true); 181 textPane.setWrapStyleWord(true); 182 textPane.setMargin(new Insets(0,ExtPane.left_padding,0,0)); 172 183 JScrollPane scrollPane = new JScrollPane(textPane); 173 184 mainPane.add(scrollPane,BorderLayout.CENTER); … … 188 199 189 200 public void actionPerformed(ActionEvent e) { 201 writeReadMe(); 190 202 frame.dispose(); 191 203 } 204 205 206 207 public void writeReadMe(){ 208 try{ 209 FileWriter fstream = new FileWriter(filePath); 210 BufferedWriter br = new BufferedWriter(fstream); 211 br.write(message); 212 br.close(); 213 }catch (Exception e){ 214 System.err.println("Error: " + e.getMessage()); 215 } 216 } 192 217 } 193 218
Note:
See TracChangeset
for help on using the changeset viewer.