335336337338339340341
if (header == null) { parseHeader(); } if (header == null) return null; return (String) header.get( new CaseInsensitiveString(key) ); }
346347348349350351352
else return false; } public void removeHeader(String name) { header.remove(new CaseInsensitiveString(name)); }
356357358359360361362
if ( hasHeader(name) ) { removeHeader(name); } header.put(new CaseInsensitiveString(name), val); }
438439440441442443444445
int colon = h.indexOf(':'); String k = h.substring(0,colon); String v = h.substring(colon+2); if (DEBUG) System.err.println("httpRequest: key="+k+", val="+v); header.put( new CaseInsensitiveString(k),v); } }