Merged branch 'jetty-9.4.x' into 'jetty-10.0.x'.

This commit is contained in:
Simone Bordet 2020-05-14 14:58:29 +02:00
commit cb61ec439a

View File

@ -73,7 +73,10 @@ public interface Request
* @param host the URI host of this request, such as "127.0.0.1" or "google.com" * @param host the URI host of this request, such as "127.0.0.1" or "google.com"
* @return this request object * @return this request object
*/ */
Request host(String host); default Request host(String host)
{
return this;
}
/** /**
* @return the URI port of this request such as 80 or 443 * @return the URI port of this request such as 80 or 443
@ -81,11 +84,13 @@ public interface Request
int getPort(); int getPort();
/** /**
*
* @param port the URI port of this request such as 80 or 443 * @param port the URI port of this request such as 80 or 443
* @return this request object * @return this request object
*/ */
Request port(int port); default Request port(int port)
{
return this;
}
/** /**
* @return the method of this request, such as GET or POST, as a String * @return the method of this request, such as GET or POST, as a String