| Index: runtime/bin/http_impl.dart
|
| diff --git a/runtime/bin/http_impl.dart b/runtime/bin/http_impl.dart
|
| index 9e2bdb004bfa101154ae0286351b6782d327e159..a365a1c160a473a27a1ab5e37ddce31422996146 100644
|
| --- a/runtime/bin/http_impl.dart
|
| +++ b/runtime/bin/http_impl.dart
|
| @@ -193,7 +193,7 @@ class _HttpHeaders implements HttpHeaders {
|
| _port = HttpClient.DEFAULT_HTTP_PORT;
|
| } else {
|
| try {
|
| - _port = Math.parseInt(value.substring(pos + 1));
|
| + _port = parseInt(value.substring(pos + 1));
|
| } catch (FormatException e) {
|
| _port = null;
|
| }
|
| @@ -536,7 +536,7 @@ class _Cookie implements Cookie {
|
| if (name == "expires") {
|
| expires = _HttpUtils.parseDate(value, strict: false);
|
| } else if (name == "max-age") {
|
| - maxAge = Math.parseInt(value);
|
| + maxAge = parseInt(value);
|
| } else if (name == "domain") {
|
| domain = value;
|
| } else if (name == "path") {
|
| @@ -1688,7 +1688,7 @@ class _HttpClientResponse
|
| void _onHeaderReceived(String name, String value) {
|
| _headers.add(name, value);
|
| if (name == "content-length") {
|
| - _contentLength = Math.parseInt(value);
|
| + _contentLength = parseInt(value);
|
| }
|
| }
|
|
|
|
|