Changeset 5238
- Timestamp:
- 2003-08-21T11:14:41+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java
r5237 r5238 899 899 ///ystem.err.println("Installing collection."); 900 900 installCollection(); 901 collection.setBuilt(true); 902 // If we have a local library running (that we know about) then we ask it to add our newly create collection 903 ///ystem.err.println("Check if we should reset local server."); 901 // If we have a local library running (that we know about) then we ask it to add our newly create collection 902 ///ystem.err.println("Check if we should reset local server."); 904 903 if(Gatherer.config.exec_file != null) { 905 904 ///ystem.err.println("Local Library Found!"); 906 905 Gatherer.g_man.preview_pane.configServer(GSDLSiteConfig.ADD_COMMAND + collection.getName()); 907 906 } 908 909 910 911 907 //else { 908 ///ystem.err.println("GLI can't recognize a local library."); 909 //} 910 // Signal collection changed. 912 911 workspace_model = null; 913 912 Gatherer.g_man.collectionChanged(ready());
Note:
See TracChangeset
for help on using the changeset viewer.