Changeset 10532
- Timestamp:
- 2005-08-19T11:39:33+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java
r10511 r10532 786 786 if (Gatherer.isGsdlRemote) { 787 787 String collection_name = location.substring(location.lastIndexOf(File.separator) + 1, location.length() - ".col".length()); 788 RemoteGreenstoneServer.downloadCollection(collection_name); 788 if (!RemoteGreenstoneServer.downloadCollection(collection_name)) { 789 return; 790 } 789 791 } 790 792
Note:
See TracChangeset
for help on using the changeset viewer.