| Index: sdk/lib/io/http_impl.dart
|
| diff --git a/sdk/lib/io/http_impl.dart b/sdk/lib/io/http_impl.dart
|
| index a0f514dc6fdfd8240f0768ccd73505a9994ac9c8..df42fcfe4b884d4645b8665b34d9955ee1b54ec5 100644
|
| --- a/sdk/lib/io/http_impl.dart
|
| +++ b/sdk/lib/io/http_impl.dart
|
| @@ -1590,6 +1590,10 @@ class _HttpClient implements HttpClient {
|
| if (pos >= 0) {
|
| option = option.substring(pos + 3);
|
| }
|
| + pos = option.indexOf("/");
|
| + if (pos >= 0) {
|
| + option = option.substring(0, pos);
|
| + }
|
| if (option.indexOf(":") == -1) option = "$option:1080";
|
| return "PROXY $option";
|
| }
|
|
|