- Timestamp:
- 2008-09-23T13:51:15+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/gui/Preferences.java
r16990 r17353 663 663 Configuration.setPreviewCommand(program_str); 664 664 665 666 String old_library_url = Configuration.library_url.toString(); 665 String old_library_url = (Configuration.library_url == null) ? null : Configuration.library_url.toString(); 667 666 String library_url_string = library_path_field.getText(); 668 if( !old_library_url.equals(library_url_string)) {667 if(old_library_url != null && !old_library_url.equals(library_url_string)) { 669 668 670 669 // If the server is remote and the library path's been changed, then GLI client needs restart
Note:
See TracChangeset
for help on using the changeset viewer.