Lines 21-26
import java.io.ObjectInputStream;
Link Here
|
21 |
import java.text.SimpleDateFormat; |
21 |
import java.text.SimpleDateFormat; |
22 |
import java.util.Date; |
22 |
import java.util.Date; |
23 |
import java.util.Enumeration; |
23 |
import java.util.Enumeration; |
|
|
24 |
import java.util.LinkedHashSet; |
24 |
|
25 |
|
25 |
import jakarta.servlet.FilterChain; |
26 |
import jakarta.servlet.FilterChain; |
26 |
import jakarta.servlet.GenericFilter; |
27 |
import jakarta.servlet.GenericFilter; |
Lines 217-223
public class RequestDumperFilter extends GenericFilter {
Link Here
|
217 |
if (hResponse == null) { |
218 |
if (hResponse == null) { |
218 |
doLog(" header", NON_HTTP_RES_MSG); |
219 |
doLog(" header", NON_HTTP_RES_MSG); |
219 |
} else { |
220 |
} else { |
220 |
Iterable<String> rhnames = hResponse.getHeaderNames(); |
221 |
Iterable<String> rhnames = new LinkedHashSet<>(hResponse.getHeaderNames()); |
221 |
for (String rhname : rhnames) { |
222 |
for (String rhname : rhnames) { |
222 |
Iterable<String> rhvalues = hResponse.getHeaders(rhname); |
223 |
Iterable<String> rhvalues = hResponse.getHeaders(rhname); |
223 |
for (String rhvalue : rhvalues) { |
224 |
for (String rhvalue : rhvalues) { |
224 |
- |
|
|