Changeset 13600
- Timestamp:
- 2007-01-12T17:20:20+13:00 (17 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r13599 r13600 462 462 } 463 463 464 // If using a remote Greenstone we need to download the collection configurations now 465 if (Gatherer.isGsdlRemote) { 466 if (RemoteGreenstoneServer.downloadCollectionConfigurations().equals("")) { 467 // !! Something went wrong downloading the collection configurations 468 System.err.println("Error: Could not download collection configurations."); 469 System.exit(0); 470 } 471 } 472 464 473 // If there was a collection left open last time, reopen it 465 474 c_man.openCollectionFromLastTime(); -
trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java
r13596 r13600 102 102 static private GShellProgressMonitor import_monitor = null; 103 103 104 /** Whether we have downloaded the collection configurations in this session, when using a remote Greenstone. */105 static public boolean downloaded_collection_configurations = false;106 107 104 /** The name of the standard lock file. */ 108 105 static final public String LOCK_FILE = "gli.lck"; … … 1067 1064 { 1068 1065 // If there was an open collection last session, reopen it 1069 if (Gatherer.open_collection_file_path != null && !Gatherer.isGsdlRemote) { 1070 // If we're using a remote Greenstone server we must download the collection configurations first 1071 // if (Gatherer.isGsdlRemote && !CollectionManager.downloaded_collection_configurations) { 1072 // if (RemoteGreenstoneServer.downloadCollectionConfigurations().equals("")) { 1073 // Something went wrong downloading the collection configurations 1074 // return; 1075 // } 1076 1077 // CollectionManager.downloaded_collection_configurations = true; 1078 // } 1079 1066 if (Gatherer.open_collection_file_path != null) { 1080 1067 // Load the collection now 1081 1068 loadCollection(Gatherer.open_collection_file_path); -
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r13591 r13600 673 673 public void run() 674 674 { 675 // If using a remote Greenstone check if the collection configurations have been downloaded; do so if not676 if (Gatherer.isGsdlRemote && !CollectionManager.downloaded_collection_configurations) {677 if (RemoteGreenstoneServer.downloadCollectionConfigurations().equals("")) {678 // Something went wrong downloading the collection configurations679 return;680 }681 682 CollectionManager.downloaded_collection_configurations = true;683 }684 685 675 String collection_file_path = showOpenCollectionDialog(); 686 676 … … 727 717 public void run() 728 718 { 729 // If using a remote Greenstone check if the collection configurations have been downloaded; do so if not730 if (Gatherer.isGsdlRemote && !CollectionManager.downloaded_collection_configurations) {731 if (RemoteGreenstoneServer.downloadCollectionConfigurations().equals("")) {732 // Something went wrong downloading the collection configurations733 return;734 }735 736 CollectionManager.downloaded_collection_configurations = true;737 }738 739 719 // Create the collection details prompt from new collection prompt 740 720 NewCollectionDetailsPrompt ncd_prompt = new NewCollectionDetailsPrompt(); … … 763 743 public void run() 764 744 { 765 // If using a remote Greenstone check if the collection configurations have been downloaded; do so if not766 if (Gatherer.isGsdlRemote && !CollectionManager.downloaded_collection_configurations) {767 if (RemoteGreenstoneServer.downloadCollectionConfigurations().equals("")) {768 // Something went wrong downloading the collection configurations769 return;770 }771 772 CollectionManager.downloaded_collection_configurations = true;773 }774 775 745 // The rest is handled by the DeleteCollectionPrompt 776 746 DeleteCollectionPrompt dc_prompt = new DeleteCollectionPrompt();
Note:
See TracChangeset
for help on using the changeset viewer.