- Timestamp:
- 2012-05-22T13:01:04+12:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/gsdl3/Library2.java
r24993 r25635 47 47 protected Document doc = null; 48 48 49 protected HashMap saved_args = null;49 protected HashMap<String, String> saved_args = null; 50 50 protected GSParams params = null; 51 51 protected DefaultReceptionist recept = null; … … 55 55 this.converter = new XMLConverter(); 56 56 this.doc = converter.newDOM(); 57 this.saved_args = new HashMap ();57 this.saved_args = new HashMap<String, String>(); 58 58 this.params = new GSParams(); 59 59 this.recept = new DefaultReceptionist(); … … 63 63 { 64 64 65 HashMap config_params = new HashMap();65 HashMap<String, Comparable> config_params = new HashMap<String, Comparable>(); 66 66 //config_params.put(GSConstants.GSDL3_HOME, gsdl_home); 67 67 config_params.put(GSConstants.SITE_NAME, site_name); … … 140 140 String action = "p"; 141 141 String subaction = "home"; 142 String lang = (String)saved_args.get(GSParams.LANGUAGE);142 String lang = saved_args.get(GSParams.LANGUAGE); 143 143 if (lang == null) 144 144 { … … 193 193 194 194 // put in all the params from the session cache 195 Set params = saved_args.keySet();196 Iterator i = params.iterator();195 Set<String> params = saved_args.keySet(); 196 Iterator<String> i = params.iterator(); 197 197 while (i.hasNext()) 198 198 { 199 String name = (String)i.next();199 String name = i.next(); 200 200 if (name.equals(GSParams.LANGUAGE)) 201 201 continue; 202 202 Element param = this.doc.createElement(GSXML.PARAM_ELEM); 203 203 param.setAttribute(GSXML.NAME_ATT, name); 204 param.setAttribute(GSXML.VALUE_ATT, GSXML.xmlSafe( (String)saved_args.get(name)));204 param.setAttribute(GSXML.VALUE_ATT, GSXML.xmlSafe(saved_args.get(name))); 205 205 xml_param_list.appendChild(param); 206 206 }
Note:
See TracChangeset
for help on using the changeset viewer.