Changeset 5815 for trunk/gli/src/org/greenstone/gatherer/gui
- Timestamp:
- 2003-11-10T14:04:13+13:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/PreviewPane.java
r5571 r5815 43 43 import javax.swing.*; 44 44 import org.greenstone.gatherer.Dictionary; 45 import org.greenstone.gatherer.collection.Collection; 45 46 import org.greenstone.gatherer.Gatherer; 46 47 import org.greenstone.gatherer.util.GURL; … … 107 108 try { 108 109 // Now load the collection 109 homepage = new URL(Gatherer.config.exec_address.toString() + "?a=p&p=about&c=" + Gatherer.c_man.getCollection().getName()); 110 Collection this_coll = Gatherer.c_man.getCollection(); 111 String extra_args = ""; 112 String build_type = this_coll.getCollectionType(); 113 if (build_type.equals("mgpp")) { 114 // we need some more args on the url 115 String search_types = this_coll.getSearchTypes(); 116 if (search_types.equals("")) { 117 extra_args = "&ct=1&qt=0&qto=3"; 118 } else if (search_types.equals("plain")) { 119 extra_args = "&ct=1&qt=0&qto=1"; 120 } else if (search_types.equals("form")) { 121 extra_args = "&ct=1&qt=1&qto=2"; 122 } else if (search_types.equals("plain,form")) { 123 extra_args = "&ct=1&qt=0&qto=3"; 124 } else if (search_types.equals("form,plain")) { 125 extra_args = "&ct=1&qt=1&qto=3"; 126 } 127 } 128 129 homepage = new URL(Gatherer.config.exec_address.toString() + "?a=p&p=about&c=" + this_coll.getName()+extra_args); 110 130 String[] args = new String[1]; 111 131 args[0] = homepage.toString();
Note:
See TracChangeset
for help on using the changeset viewer.