| Index: sdk/lib/io/http_headers.dart
|
| diff --git a/sdk/lib/io/http_headers.dart b/sdk/lib/io/http_headers.dart
|
| index 7a1c834c69c051b213c2d95e595c733fcf09555c..5ecddca1b1bcfaf01ff1de5c8b00a0a8459dfb4b 100644
|
| --- a/sdk/lib/io/http_headers.dart
|
| +++ b/sdk/lib/io/http_headers.dart
|
| @@ -449,8 +449,7 @@ class _HttpHeaders implements HttpHeaders {
|
|
|
| _updateHostHeader() {
|
| bool defaultPort = _port == null || _port == _defaultPortForScheme;
|
| - String portPart = defaultPort ? "" : ":$_port";
|
| - _set("host", "$host$portPart");
|
| + _set("host", defaultPort ? host : "$host:$_port");
|
| }
|
|
|
| _foldHeader(String name) {
|
|
|