Changeset 33015
- Timestamp:
- 2019-04-16T20:35:44+12:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java
r32712 r33015 398 398 } 399 399 File test_file = new File(file_name); 400 return test_file.exists(); 400 401 if(Gatherer.isGsdlRemote) { 402 return Gatherer.remoteGreenstoneServer.exists(collection.getGroupQualifiedName(false), test_file); 403 } else { 404 return test_file.exists(); 405 } 401 406 } 402 407 return false;
Note:
See TracChangeset
for help on using the changeset viewer.