Changeset 16295 for gli/trunk/src/org/greenstone/gatherer/cdm/Plugin.java
- Timestamp:
- 2008-07-03T16:51:13+12:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/cdm/Plugin.java
r15108 r16295 43 43 private boolean does_explode_metadata_databases = false; 44 44 private boolean does_replace_srcdocs_with_html = false; // to work with replace_srcdoc_with_html.pl 45 private boolean loading_options_failed = false; 45 /** Plugins are loaded as needed. This variable indicates 1. whether a plugin has been loaded already; 2. whether a 46 * plugin has been successfully loaded. When both are true, has_loaded_options will be true. */ 47 private boolean has_loaded_options = false; 46 48 47 49 /** Constructor used in DOMProxyListModel initializations, and Library Level. Used for Base plugins (those in the list of available plugins, not ones that are in the DOMProxyList) … … 84 86 85 87 86 public boolean didLoadingOptionsFail()87 { 88 return loading_options_failed;88 public boolean hasLoadedOptions() 89 { 90 return has_loaded_options; 89 91 } 90 92 … … 228 230 } 229 231 230 public void set LoadingOptionsFailed()231 { 232 this. loading_options_failed = true;232 public void setHasLoadedOptions(boolean hasLoadedOptions) 233 { 234 this.has_loaded_options = hasLoadedOptions; 233 235 } 234 236 }
Note:
See TracChangeset
for help on using the changeset viewer.