Changeset 8688
- Timestamp:
- 2004-11-29T10:33:40+13:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r8634 r8688 614 614 615 615 String library_url_string = library_path_field.getText(); 616 if (!library_url_string.equals("")) { 616 if (library_url_string.equals("")) { 617 Configuration.library_url = null; 618 } 619 else { 617 620 try { 618 621 Configuration.library_url = new URL(library_url_string);
Note:
See TracChangeset
for help on using the changeset viewer.