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()]; |