Changeset 14371
- Timestamp:
- 2007-08-14T15:28:42+12:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/gui/Preferences.java
r14309 r14371 894 894 System.err.println("event occurred "+event.paramString()); 895 895 String site = (String) site_combobox.getSelectedItem(); 896 System.err.println(" new site= "+site);896 System.err.println("The site changed to = "+site); 897 897 if (!site.equals(current_site_selection)) { 898 898 current_site_selection = site; … … 915 915 // Close the current collection, remove the lock on this file, ask to login to the new site, then download collection configurations of the site. 916 916 if (Gatherer.c_man.getCollection()!=null){ 917 File lock_file = new File(Gatherer.c_man.getLoadedCollectionDirectoryPath() + "gli.lck"); 918 RemoteGreenstoneServer.deleteCollectionFile(Gatherer.c_man.getLoadedCollectionName(),lock_file); 917 919 Gatherer.g_man.closeCurrentCollection(); 918 920 } 919 File lock_file = new File(Gatherer.c_man.getLoadedCollectionDirectoryPath() + "gli.lck");920 RemoteGreenstoneServer.deleteCollectionFile(Gatherer.c_man.getLoadedCollectionName(),lock_file);921 921 Configuration.site_name=site; 922 922 RemoteGreenstoneServer.set_remote_greenstone_server_authentication_to_null();
Note:
See TracChangeset
for help on using the changeset viewer.