Add handling of the HTTP Date header

runtime/bin/http_impl.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 _HttpHeaders implements HttpHeaders {
   _HttpHeaders() : _headers = new Map<String, List<String>>();
 
   List<String> operator[](String name) {
     name = name.toLowerCase();
     return _headers[name];
@@ skipping 45 matching lines @@
     _host = host;
     _updateHostHeader();
   }
 
   int get port() => _port;
   void set port(int port) {
     _port = port;
     _updateHostHeader();
   }
 
+  Date get date() {
+    List<String> values = _headers["date"];
+    if (values != null) {
+      try {
+        return _HttpUtils.parseDate(values[0]);
+      } catch (Exception e) {
+        return null;
+      }
+    }

[Anders Johnsen, 2012/04/25 09:02:09]

Maybe add an explicit return null.

[Søren Gjesse, 2012/04/25 14:14:36]

Done.

+  }
+
+  void set date(Date date) {
+    // Format "Date" header with date in Greenwich Mean Time (GMT).
+    String formatted =
+        _HttpUtils.formatDate(expires.changeTimeZone(new TimeZone.utc()));
+    _set("date", formatted);
+  }
+
   Date get expires() {
     List<String> values = _headers["expires"];
     if (values != null) {
       try {
         return _HttpUtils.parseDate(values[0]);
       } catch (Exception e) {
         return null;
       }
     }
   }

[Anders Johnsen, 2012/04/25 09:02:09]

Ditto.

[Søren Gjesse, 2012/04/25 14:14:36]

Done.

 
   void set expires(Date expires) {
     // Format "Expires" header with date in Greenwich Mean Time (GMT).
     String formatted =
         _HttpUtils.formatDate(expires.changeTimeZone(new TimeZone.utc()));
     _set("expires", formatted);
   }
 
   void _add(String name, Object value) {
     // TODO(sgjesse): Add immutable state throw HttpException is immutable.
-    if (name.toLowerCase() == "expires") {
+    if (name.toLowerCase() == "date") {
+      if (value is Date) {
+        date = value;
+      } else if (value is String) {
+        _set("date", value);
+      } else {
+        throw new HttpException("Unexpected type for header named $name");
+      }
+    } else if (name.toLowerCase() == "expires") {
       if (value is Date) {
         expires = value;
       } else if (value is String) {
         _set("expires", value);
       } else {
         throw new HttpException("Unexpected type for header named $name");
       }
     } else if (name.toLowerCase() == "host") {
       int pos = value.indexOf(":");
       if (pos == -1) {
@@ skipping 1295 matching lines @@
     _activeSockets.remove(socketConn);
     sockets.addFirst(socketConn);
   }
 
   Function _onOpen;
   Map<String, Queue<_SocketConnection>> _openSockets;
   Set<_SocketConnection> _activeSockets;
   Timer _evictionTimer;
   bool _shutdown;  // Has this HTTP client been shutdown?
 }