| Index: sdk/lib/io/http_date.dart
|
| diff --git a/sdk/lib/io/http_date.dart b/sdk/lib/io/http_date.dart
|
| index 9720426d3cd268930d79a3d04ed5dbb955ec71b8..dc3193c4cabb4ccc62ebeb880f962081fffddc1e 100644
|
| --- a/sdk/lib/io/http_date.dart
|
| +++ b/sdk/lib/io/http_date.dart
|
| @@ -261,7 +261,7 @@ class HttpDate {
|
| while (!isEnd() && isDelimiter(date[position])) position++;
|
| int start = position;
|
| while (!isEnd() && isNonDelimiter(date[position])) position++;
|
| - tokens.add(date.substring(start, position).toLowerCase());
|
| + tokens.add(_ASCII.toLowerCase(date.substring(start, position)));
|
| while (!isEnd() && isDelimiter(date[position])) position++;
|
| }
|
|
|
|
|