Changeset 22772 for main/trunk/gli/src/org/greenstone/gatherer
- Timestamp:
- 2010-08-24T20:47:17+12:00 (14 years ago)
- Location:
- main/trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/cdm/CollectionConfiguration.java
r22771 r22772 410 410 411 411 // If we're using the Local Library we must release the collection before writing to the collect.cfg file 412 String collection_name = CollectionManager.getLoadedCollectionName ( false); // url style slash412 String collection_name = CollectionManager.getLoadedCollectionName (true); // url style slash 413 413 boolean collection_released = false; 414 414 if (Gatherer.c_man.built () && LocalLibraryServer.isRunning () == true) { -
main/trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java
r22771 r22772 426 426 // If we're using the Local Library we must release the collection before writing to the collect.cfg file 427 427 if(Gatherer.isLocalLibrary) { 428 LocalLibraryServer.releaseCollection(getLoadedCollectionName( )); // URL style slash //collection.getName());428 LocalLibraryServer.releaseCollection(getLoadedCollectionName(true)); // URL style slash //collection.getName()); 429 429 } 430 430 … … 1850 1850 // Ensure that the local library has released this collection so we can delete the index directory 1851 1851 if (LocalLibraryServer.isRunning() == true) { 1852 LocalLibraryServer.releaseCollection(getLoadedCollectionName( )); // URL style slash //collection.getName());1852 LocalLibraryServer.releaseCollection(getLoadedCollectionName(true)); // URL style slash //collection.getName()); 1853 1853 } 1854 1854 // deactivate it in tomcat so that windows will release the index files
Note:
See TracChangeset
for help on using the changeset viewer.