Index: sdk/lib/io/http_headers.dart |
diff --git a/sdk/lib/io/http_headers.dart b/sdk/lib/io/http_headers.dart |
index 3ddb4a03fb2c3189bdb3fd1306db3a447f208083..cb2935c1d6fc0eb7c1c40e063c9740747b730d18 100644 |
--- a/sdk/lib/io/http_headers.dart |
+++ b/sdk/lib/io/http_headers.dart |
@@ -6,7 +6,7 @@ part of dart.io; |
class _HttpHeaders implements HttpHeaders { |
_HttpHeaders(String this.protocolVersion) |
- : _headers = new Map<String, List<String>>(); |
+ : _headers = new HashMap<String, List<String>>(); |
List<String> operator[](String name) { |
name = name.toLowerCase(); |
@@ -484,7 +484,7 @@ class _HeaderValue implements HeaderValue { |
_HeaderValue([String this._value = "", Map<String, String> parameters]) { |
if (parameters != null) { |
_parameters = |
- new _UnmodifiableMap(new Map<String, String>.from(parameters)); |
+ new _UnmodifiableMap(new HashMap<String, String>.from(parameters)); |
} |
} |
@@ -501,7 +501,7 @@ class _HeaderValue implements HeaderValue { |
void _ensureParameters() { |
if (_parameters == null) { |
- _parameters = new _UnmodifiableMap(new Map<String, String>()); |
+ _parameters = new _UnmodifiableMap(new HashMap<String, String>()); |
} |
} |
@@ -559,7 +559,7 @@ class _HeaderValue implements HeaderValue { |
} |
void parseParameters() { |
- var parameters = new Map<String, String>(); |
+ var parameters = new HashMap<String, String>(); |
_parameters = new _UnmodifiableMap(parameters); |
String parseParameterName() { |