Changeset 10644
- Timestamp:
- 2005-09-26T15:12:59+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/CreatePane.java
r10642 r10644 800 800 Gatherer.c_man.getCollection().cdm.save(); // save the config file just in case 801 801 configureHomeURL(); 802 if (LocalLibraryServer.isRunning()) { 803 // if we are using the local library (isRunning is true), we need to make sure it is actually running 804 LocalLibraryServer.checkServerRunning(); 805 } 802 // check that the local library server is stil running - doesn't do anything if its not supposed to be running 803 LocalLibraryServer.checkServerRunning(); 804 806 805 Gatherer.spawnBrowser(homepage); 807 806
Note:
See TracChangeset
for help on using the changeset viewer.