|
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 |
- |
|
|