Changeset 18157
- Timestamp:
- 2008-12-09T13:04:12+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/admin/gui/ExtPane.java
r18141 r18157 111 111 public ExtPane() { 112 112 113 //System.out.println("start"); 113 114 114 String gsdl3Home = get_GSDL3HOME(); 115 //file_location ="/research/cc108/greenstone3Project/ext/extension_project_list.xml"; 115 116 116 file_location = gsdl3Home+fileSeparator+"ext"+fileSeparator+"extension_project_list.xml"; 117 //file_lcoation = = "/research/cc108/greenstone3Project/ext/extension_project_list.xml 117 118 118 119 // create all the necessary panes 119 120 control_pane = new JPanel(); … … 350 351 String os = "linux"; 351 352 352 if( fileSeparator.equals("\\")){353 gsdl3Home = gsdl3Home.replaceAll("\\ ", "/");353 if(System.getProperty("os.name").toLowerCase().indexOf("windows")!=-1){ 354 gsdl3Home = gsdl3Home.replaceAll("\\\\", "/"); 354 355 os = "windows"; 355 356 } 356 357 358 357 359 gsdl3Home = gspath.removeLastLink(gsdl3Home); 358 360 359 361 if(os.equals("windows")){ 360 gsdl3Home = gsdl3Home.replaceAll("/", "\\ ");362 gsdl3Home = gsdl3Home.replaceAll("/", "\\\\"); 361 363 } 362 364 return gsdl3Home;
Note:
See TracChangeset
for help on using the changeset viewer.