| Index: runtime/bin/http.dart
|
| diff --git a/runtime/bin/http.dart b/runtime/bin/http.dart
|
| index ef104d3399593cb6591829b3b09c6b0a52ae93c0..6c38c28f7423095c2ed30e1bb5bc61de1fc8d945 100644
|
| --- a/runtime/bin/http.dart
|
| +++ b/runtime/bin/http.dart
|
| @@ -253,6 +253,24 @@ interface HttpHeaders default _HttpHeaders {
|
| * header.
|
| */
|
| void removeAll(String name);
|
| +
|
| + /**
|
| + * Gets and sets the expiry date. The value of this property will
|
| + * reflect the "Expires" header
|
| + */
|
| + Date expires;
|
| +
|
| + /**
|
| + * Gets and sets the host part of the "Host" header for the
|
| + * connection.
|
| + */
|
| + String host;
|
| +
|
| + /**
|
| + * Gets and sets the port part of the "Host" header for the
|
| + * connection.
|
| + */
|
| + int port;
|
| }
|
|
|
|
|
| @@ -329,12 +347,6 @@ interface HttpResponse default _HttpResponse {
|
| String reasonPhrase;
|
|
|
| /**
|
| - * Gets and sets the expiry date. The value of this property will
|
| - * reflect the "Expires" header
|
| - */
|
| - Date expires;
|
| -
|
| - /**
|
| * Returns the response headers.
|
| */
|
| HttpHeaders get headers();
|
| @@ -453,20 +465,6 @@ interface HttpClientRequest default _HttpClientRequest {
|
| int contentLength;
|
|
|
| /**
|
| - * Gets and sets the " host part of the "Host" header for the
|
| - * connection. By default this will be set to the value of the host
|
| - * used when initiating the connection.
|
| - */
|
| - String host;
|
| -
|
| - /**
|
| - * Gets and sets the port part of the "Host" header for the
|
| - * connection. By default this will be set to the value of the port
|
| - * used when initiating the connection.
|
| - */
|
| - int port;
|
| -
|
| - /**
|
| * Returns the request headers.
|
| */
|
| HttpHeaders get headers();
|
| @@ -505,14 +503,6 @@ interface HttpClientResponse default _HttpClientResponse {
|
| int get contentLength();
|
|
|
| /**
|
| - * Returns the date value for the "Expires" header. Returns null if
|
| - * the response has no "Expires" header. Throws a HttpException if
|
| - * the response has an "Expires" header which is not formatted as a
|
| - * valid HTTP date.
|
| - */
|
| - Date get expires();
|
| -
|
| - /**
|
| * Returns the response headers.
|
| */
|
| HttpHeaders get headers();
|
|
|