Changeset 10548 for trunk/gli/src/org
- Timestamp:
- 2005-08-21T14:49:41+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r10542 r10548 652 652 File collect_directory = new File(Gatherer.getCollectDirectoryPath()); 653 653 if (Gatherer.isGsdlRemote && (!collect_directory.exists() || collect_directory.listFiles().length == 0)) { 654 RemoteGreenstoneServer.downloadCollectionConfigurations(); 654 if (!RemoteGreenstoneServer.downloadCollectionConfigurations()) { 655 // Something went wrong downloading the collection configurations 656 return null; 657 } 655 658 } 656 659
Note:
See TracChangeset
for help on using the changeset viewer.