Support for cookies in the HTTP library

runtime/bin/http_utils.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 class _HttpUtils {
   static String decodeUrlEncodedString(String urlEncoded) {
     // First check the string for any encoding.
     int index = 0;
     bool encoded = false;
     while (!encoded && index < urlEncoded.length) {
@@ skipping 99 matching lines @@
     d.hours < 9 ? sb.add(" 0") : sb.add(" ");
     sb.add(d.hours.toString());
     d.minutes < 9 ? sb.add(":0") : sb.add(":");
     sb.add(d.minutes.toString());
     d.seconds < 9 ? sb.add(":0") : sb.add(":");
     sb.add(d.seconds.toString());
     sb.add(" GMT");
     return sb.toString();
   }
 
-  static Date parseDate(String date) {
+  static Date parseDate(String date, [bool strict = true]) {
     final int SP = 32;
     List wkdays = ["Mon", "Tue", "Wed", "Thu", "Fri", "Sat", "Sun"];
     List weekdays = ["Monday", "Tuesday", "Wednesday", "Thursday",
                      "Friday", "Saturday", "Sunday"];
     List months = ["Jan", "Feb", "Mar", "Apr", "May", "Jun",
                    "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"];
+    List wkdaysLowerCase = ["mon", "tue", "wed", "thu", "fri", "sat", "sun"];
+    List weekdaysLowerCase = ["monday", "tuesday", "wednesday", "thursday",
+                              "friday", "saturday", "sunday"];
+    List monthsLowerCase = ["jan", "feb", "mar", "apr", "may", "jun",
+                            "jul", "aug", "sep", "oct", "nov", "dec"];
 
     final int formatRfc1123 = 0;
     final int formatRfc850 = 1;
     final int formatAsctime = 2;
 
     int index = 0;
     String tmp;
     int format;
 
     void expect(String s) {
       if (date.length - index < s.length) {
         throw new HttpException("Invalid HTTP date $date");
       }
       String tmp = date.substring(index, index + s.length);
-      if (tmp != s) {
-        throw new HttpException("Invalid HTTP date $date");
+      if (strict) {
+        if (tmp != s) {
+          throw new HttpException("Invalid HTTP date $date");
+        }
+      } else {
+        if (tmp.toLowerCase() != s.toLowerCase()) {
+          throw new HttpException("Invalid HTTP date $date");
+        }
       }
       index += s.length;
     }
 
     int expectWeekday() {
       int weekday;
       // The formatting of the weekday signals the format of the date string.
       int pos = date.indexOf(",", index);
       if (pos == -1) {
         int pos = date.indexOf(" ", index);
         if (pos == -1) throw new HttpException("Invalid HTTP date $date");
         tmp = date.substring(index, pos);
         index = pos + 1;
-        weekday = wkdays.indexOf(tmp);
+        weekday = strict ? wkdays.indexOf(tmp)
+                         : wkdaysLowerCase.indexOf(tmp.toLowerCase());
         if (weekday != -1) {
           format = formatAsctime;
           return weekday;
         }
       } else {
         tmp = date.substring(index, pos);
         index = pos + 1;
-        weekday = wkdays.indexOf(tmp);
+        weekday = strict ? wkdays.indexOf(tmp)
+                         : wkdaysLowerCase.indexOf(tmp.toLowerCase());
         if (weekday != -1) {
           format = formatRfc1123;
           return weekday;
         }
-        weekday = weekdays.indexOf(tmp);
+        weekday = strict ? weekdays.indexOf(tmp)
+                         : weekdaysLowerCase.indexOf(tmp.toLowerCase());
         if (weekday != -1) {
           format = formatRfc850;
           return weekday;
         }
       }
       throw new HttpException("Invalid HTTP date $date");
     }
 
     int expectMonth(String separator) {
       int pos = date.indexOf(separator, index);
       if (pos - index != 3) throw new HttpException("Invalid HTTP date $date");
       tmp = date.substring(index, pos);
       index = pos + 1;
-      int month = months.indexOf(tmp);
+      int month = strict ? months.indexOf(tmp)
+                         : monthsLowerCase.indexOf(tmp.toLowerCase());
       if (month != -1) return month;
       throw new HttpException("Invalid HTTP date $date");
     }
 
     int expectNum(String separator) {
       int pos;
       if (separator.length > 0) {
         pos = date.indexOf(separator, index);
       } else {
         pos = date.length;
@@ skipping 38 matching lines @@
       minutes = expectNum(":");
       seconds = expectNum(" ");
       expect("GMT");
     }
     expectEnd();
     TimeZone utc = new TimeZone.utc();
     return new Date.withTimeZone(
         year, month + 1, day, hours, minutes, seconds, 0, utc);
   }
 }