Add sessions to HttpServer.

runtime/bin/http.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.
 
 /**
  * HTTP status codes.
  */
 abstract class HttpStatus {
   static const int CONTINUE = 100;
   static const int SWITCHING_PROTOCOLS = 101;
@@ skipping 93 matching lines @@
    * Returns the port that the server is listening on. This can be
    * used to get the actual port used when a value of 0 for [port] is
    * specified in the [listen] call.
    */
   int get port;
 
   /**
    * Sets the error handler that is called when a connection error occurs.
    */
   void set onError(void callback(e));
+
+  /**
+   * Set the timeout, in seconds, for sessions of this HTTP server. Default
+   * is 20 minutes.
+   */
+  int set sessionTimeout(int timeout);
 }
 
 
 /**
  * Access to the HTTP headers for requests and responses. In some
  * situations the headers will be imutable and the mutating methods
  * will then throw exceptions.
  *
  * For all operation on HTTP headers the header name is
  * case-insensitive.
@@ skipping 255 matching lines @@
   Map<String, String> get parameters;
 
   /**
    * Returns the formatted string representation in the form:
    *
    *     value; parameter1=value1; parameter2=value2
    */
   String toString();
 }
 
+abstract class HttpSession {
+  /**
+   * Get the id for the current session.
+   */
+  String get id;
+
+  /**
+   * Access the user-data associated with the session.
+   */
+  Dynamic data;
+
+  /**
+   * Destroy the session. This will terminate the session and any further
+   * connections with this id will be given a new id and session.
+   */
+  void destroy();
+
+  /**
+   * Set a callback that will be called when the session is timed out.
+   */
+  void set onTimeout(void callback());
+}
+
 
 /**
  * Representation of a content type.
  */
 abstract class ContentType implements HeaderValue {
   /**
    * Creates a new content type object setting the primary type and
    * sub type.
    */
   factory ContentType([String primaryType = "", String subType = ""]) {
@@ skipping 147 matching lines @@
    * Returns the parsed query string.
    */
   Map<String, String> get queryParameters;
 
   /**
    * Returns the request headers.
    */
   HttpHeaders get headers;
 
   /**
-   * Returns the cookies in the request (from the Cookie header).
+   * Returns the cookies in the request (from the Cookie headers).
    */
   List<Cookie> get cookies;
 
   /**
+   * Returns, or initialize, a session for the given request. If the session is
+   * being initialized by this call, [initSessions] will be called with the
+   * newly create session. Here the [:HttpSession.data:] field can be set, if
+   * needed.
+   * See [:HttpServer.sessionTimeout:] on how to change default timeout.
+   */
+  HttpSession session([initSessions(HttpSession session)]);

[Søren Gjesse, 2012/10/22 11:13:02]

initSessions -> initSession (or maybe just init).

[Anders Johnsen, 2012/10/22 12:18:57]

Done.

+
+  /**
    * Returns the input stream for the request. This is used to read
    * the request data.
    */
   InputStream get inputStream;
 
   /**
    * Returns the HTTP protocol version used in the request. This will
    * be "1.0" or "1.1".
    */
   String get protocolVersion;
@@ skipping 394 matching lines @@
 class RedirectLimitExceededException extends RedirectException {
   const RedirectLimitExceededException(List<RedirectInfo> redirects)
       : super("Redirect limit exceeded", redirects);
 }
 
 
 class RedirectLoopException extends RedirectException {
   const RedirectLoopException(List<RedirectInfo> redirects)
       : super("Redirect loop detected", redirects);
 }