| Package | Description |
|---|---|
| org.glassfish.grizzly.http.server | |
| org.glassfish.grizzly.http.server.http2 |
| Modifier and Type | Method and Description |
|---|---|
PushBuilder |
Request.newPushBuilder() |
| Modifier and Type | Method and Description |
|---|---|
PushBuilder |
PushBuilder.addHeader(Header name,
String value)
Add a request header to be used for the push.
|
PushBuilder |
PushBuilder.addHeader(String name,
String value)
Add a request header to be used for the push.
|
PushBuilder |
PushBuilder.method(String method)
Set the method to be used for the push.
|
PushBuilder |
PushBuilder.path(String path)
Set the URI path to be used for the push.
|
PushBuilder |
PushBuilder.queryString(String queryString)
Set the query string to be used for the push.
|
PushBuilder |
PushBuilder.removeHeader(Header name)
Remove the named request header.
|
PushBuilder |
PushBuilder.removeHeader(String name)
Remove the named request header.
|
PushBuilder |
PushBuilder.sessionId(String sessionId)
Set the SessionID to be used for the push.
|
PushBuilder |
PushBuilder.setHeader(Header name,
String value)
Set a request header to be used for the push.
|
PushBuilder |
PushBuilder.setHeader(String name,
String value)
Set a request header to be used for the push.
|
| Modifier and Type | Method and Description |
|---|---|
static PushEvent |
PushEvent.create(PushBuilder builder)
Construct a new
PushEvent based on the values contained within the
provided PushBuilder. |
Copyright © 2017 Oracle Corporation. All Rights Reserved.