- Timestamp:
- 2010-04-20T14:46:09+12:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/admin/GAI.java
r10953 r21918 40 40 import org.greenstone.gsdl3.util.Dictionary; 41 41 import org.greenstone.admin.gui.SetServerPane; 42 import org.greenstone.gsdl3.util.GSPath; 42 43 43 44 /** Containing the top-level "core" for the GAI(Greenstone Administrator … … 87 88 88 89 } 90 91 public static String getGSDL3Home(){ 92 93 String gsdl3Home = gsdl3_web_home; 94 String os = "linux"; 95 96 if(System.getProperty("os.name").toLowerCase().indexOf("windows")!=-1){ 97 gsdl3Home = gsdl3Home.replaceAll("\\\\", "/"); 98 os = "windows"; 99 } 100 101 gsdl3Home = GSPath.removeLastLink(gsdl3Home); 102 103 if(os.equals("windows")){ 104 gsdl3Home = gsdl3Home.replaceAll("/", "\\\\"); 105 } 106 return gsdl3Home; 107 } 108 109 public static String getGSDL3ExtensionHome(){ 110 String gsdl3ExtHome = gsdl3_web_home; 111 String os = "linux"; 112 113 if(System.getProperty("os.name").toLowerCase().indexOf("windows")!=-1){ 114 gsdl3ExtHome = gsdl3ExtHome.replaceAll("\\\\", "/"); 115 os = "windows"; 116 } 117 118 gsdl3ExtHome = GSPath.removeLastLink(gsdl3ExtHome); 119 gsdl3ExtHome += "/ext"; 120 121 if(os.equals("windows")){ 122 gsdl3ExtHome = gsdl3ExtHome.replaceAll("/", "\\\\"); 123 } 124 return gsdl3ExtHome; 125 } 89 126 90 127 public static void main (String[] args){
Note:
See TracChangeset
for help on using the changeset viewer.