| Index: runtime/bin/http_impl.dart
|
| diff --git a/runtime/bin/http_impl.dart b/runtime/bin/http_impl.dart
|
| index a1fcc88635904825d74a6bdc2c73423751b4ad72..7e71ca814cf62f870d31fd308c67de0fc77ac576 100644
|
| --- a/runtime/bin/http_impl.dart
|
| +++ b/runtime/bin/http_impl.dart
|
| @@ -1976,7 +1976,7 @@ class _ProxyConfiguration {
|
| static const String PROXY_PREFIX = "PROXY ";
|
| static const String DIRECT_PREFIX = "DIRECT";
|
|
|
| - _ProxyConfiguration(String configuration) : proxies = new List<_Proxy>() {
|
| + _ProxyConfiguration(String configuration) : proxies = new List<_Proxy>() {
|
| if (configuration == null) {
|
| throw new HttpException("Invalid proxy configuration $configuration");
|
| }
|
| @@ -2010,6 +2010,7 @@ class _ProxyConfiguration {
|
| }
|
| });
|
| }
|
| +
|
| const _ProxyConfiguration.direct()
|
| : proxies = const [const _Proxy.direct()];
|
|
|
|
|