PushBuilder |
PushBuilder.addHeader(String name,
String value) |
Add a request header to be used for the push.
|
PushBuilder |
PushBuilder.addHeader(org.glassfish.grizzly.http.util.Header 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(String name) |
Remove the named request header.
|
PushBuilder |
PushBuilder.removeHeader(org.glassfish.grizzly.http.util.Header name) |
Remove the named request header.
|
PushBuilder |
PushBuilder.sessionId(String sessionId) |
Set the SessionID to be used for the push.
|
PushBuilder |
PushBuilder.setHeader(String name,
String value) |
Set a request header to be used for the push.
|
PushBuilder |
PushBuilder.setHeader(org.glassfish.grizzly.http.util.Header name,
String value) |
Set a request header to be used for the push.
|