- Timestamp:
- 2008-11-10T11:36:12+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/Configuration.java
r17094 r17798 261 261 String new_version = new_document.getDocumentElement().getAttribute(StaticStrings.VERSION_ATTRIBUTE); 262 262 String old_version = old_document.getDocumentElement().getAttribute(StaticStrings.VERSION_ATTRIBUTE); 263 if (new_version. compareTo(old_version) <= 0) {263 if (new_version.equals(old_version)) { 264 264 // Don't need to update file 265 265 return false; 266 266 } 267 267 268 System.err.println(" Updating user config.xml from version " + old_version + " to version " + new_version + "...");268 System.err.println("Converting user config.xml from version " + old_version + " to version " + new_version + "..."); 269 269 270 270 // Build up the new user config.xml file from the template config.xml with the user's preferences added
Note:
See TracChangeset
for help on using the changeset viewer.