Package | Description |
---|---|
org.eclipse.jetty.server |
Jetty Server : Core Server API
|
Modifier and Type | Class and Description |
---|---|
class |
PushBuilderImpl |
Modifier and Type | Method and Description |
---|---|
PushBuilder |
PushBuilderImpl.addHeader(String name,
String value) |
PushBuilder |
PushBuilder.addHeader(String name,
String value)
Add a header to be used for the push.
|
PushBuilder |
PushBuilderImpl.conditional(boolean conditional) |
PushBuilder |
PushBuilder.conditional(boolean conditional)
Set if the request is to be conditional.
|
PushBuilder |
PushBuilderImpl.etag(String etag) |
PushBuilder |
PushBuilder.etag(String etag)
Set the etag to be used for conditional pushes.
|
PushBuilder |
Request.getPushBuilder()
Get a PushBuilder associated with this request initialized as follows:
The method is initialized to "GET"
The headers from this request are copied to the Builder, except for:
Conditional headers (eg.
|
PushBuilder |
PushBuilderImpl.lastModified(String lastModified) |
PushBuilder |
PushBuilder.lastModified(String lastModified)
Set the last modified date to be used for conditional pushes.
|
PushBuilder |
PushBuilderImpl.method(String method) |
PushBuilder |
PushBuilder.method(String method)
Set the method to be used for the push.
|
PushBuilder |
PushBuilderImpl.path(String path) |
PushBuilder |
PushBuilder.path(String path)
Set the URI path to be used for the push.
|
PushBuilder |
PushBuilderImpl.queryString(String queryString) |
PushBuilder |
PushBuilder.queryString(String queryString)
Set the query string to be used for the push.
|
PushBuilder |
PushBuilderImpl.sessionId(String sessionId) |
PushBuilder |
PushBuilder.sessionId(String sessionId)
Set the SessionID to be used for the push.
|
PushBuilder |
PushBuilderImpl.setHeader(String name,
String value) |
PushBuilder |
PushBuilder.setHeader(String name,
String value)
Set a header to be used for the push.
|
Copyright © 1995-2015 Webtide. All Rights Reserved.