Skip to content

Commit

Permalink
implement headers() in jetty12 request (#2140)
Browse files Browse the repository at this point in the history
  • Loading branch information
obenkenobi authored Nov 12, 2024
1 parent b448a45 commit c78987c
Showing 1 changed file with 10 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,15 @@ public String getHeader(String name) {
return request.getHeaders().get(name);
}

@Override
public List<String> getHeaders(String name) {
Enumeration<String> headers = request.getHeaders().getValues(name);
if (headers == null) {
return Collections.emptyList();
}
return Collections.list(headers);
}

@Override
public String getRequestURI() {
return request.getHttpURI().getPath();
Expand Down Expand Up @@ -88,4 +97,5 @@ public String getCookieValue(String name) {
}
return null;
}

}

0 comments on commit c78987c

Please sign in to comment.