Changeset 8680
- Timestamp:
- 2004-11-26T10:01:43+13:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r8629 r8680 113 113 this.self = this; 114 114 115 Utility.initImages(this); 115 Utility.initImages(this); 116 116 } 117 117 … … 177 177 // Read Dictionary 178 178 new Dictionary(Configuration.getLocale("general.locale", true), Configuration.getFont("general.font", true)); 179 180 // check that we are using Sun Java 181 String java_vendor = System.getProperty("java.vendor"); 182 if (!java_vendor.equals("Sun Microsystems Inc.")) { 183 // is this the definitive string?? 184 System.err.println(Dictionary.get("General.NotSunJava", java_vendor)); 185 } 179 186 180 187 if (gsdl_path == null) {
Note:
See TracChangeset
for help on using the changeset viewer.