| Index: sdk/lib/io/http_headers.dart
|
| diff --git a/sdk/lib/io/http_headers.dart b/sdk/lib/io/http_headers.dart
|
| index beb9b8913a2cad60e150fd250de68a0065b783be..eb49406bc4b21edae1dd41e5141eba1e29b5edd1 100644
|
| --- a/sdk/lib/io/http_headers.dart
|
| +++ b/sdk/lib/io/http_headers.dart
|
| @@ -188,7 +188,7 @@ class _HttpHeaders implements HttpHeaders {
|
| if (value is int) {
|
| contentLength = value;
|
| } else if (value is String) {
|
| - contentLength = parseInt(value);
|
| + contentLength = int.parse(value);
|
| } else {
|
| throw new HttpException("Unexpected type for header named $name");
|
| }
|
| @@ -237,7 +237,7 @@ class _HttpHeaders implements HttpHeaders {
|
| _port = HttpClient.DEFAULT_HTTP_PORT;
|
| } else {
|
| try {
|
| - _port = parseInt(value.substring(pos + 1));
|
| + _port = int.parse(value.substring(pos + 1));
|
| } on FormatException catch (e) {
|
| _port = null;
|
| }
|
| @@ -630,7 +630,7 @@ class _Cookie implements Cookie {
|
| if (name == "expires") {
|
| expires = _HttpUtils.parseCookieDate(value);
|
| } else if (name == "max-age") {
|
| - maxAge = parseInt(value);
|
| + maxAge = int.parse(value);
|
| } else if (name == "domain") {
|
| domain = value;
|
| } else if (name == "path") {
|
|
|