Change the handling of closing sockets

runtime/bin/socket.dart

 // Copyright (c) 2011, 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.
 
 interface ServerSocket factory _ServerSocket {
   /*
    * Constructs a new server socket, binds it to a given address and port,
    * and listens on it.
    */
   ServerSocket(String bindAddress, int port, int backlog);
@@ skipping 50 matching lines @@
   /*
    * Writes up to [count] bytes of the buffer from [offset] buffer offset to
    * the socket. The number of successfully written bytes is returned. This
    * function is non-blocking and will only write data if buffer space is
    * available in the socket. It will return 0 if an error occurs, e.g., no
    * buffer space available.
    */
   int writeList(List<int> buffer, int offset, int count);
 
   /*
-   * The connect handler gets executed when connection to a given host
+   * The connect handler gets called when connection to a given host
    * succeeded.
    */
   void set connectHandler(void callback());
 
   /*
-   * The data handler gets executed when data becomes available at the socket.
+   * The data handler gets called when data becomes available at the socket.
    */
   void set dataHandler(void callback());
 
   /*
-   * The write handler gets executed when the socket becomes available for
+   * The write handler gets called when the socket becomes available for
    * writing.
    */
   void set writeHandler(void callback());
 
   /*
-   * The error handler gets executed when a socket error occurs.
+   * The close handler gets called when a the last byte have been read
+   * from a socket. At this point the socket might still be open for
+   * writing for sending more data.
+   */
+  void set closeHandler(void callback());
+
+  /*
+   * The error handler gets called when a socket error occurs.
    */
   void set errorHandler(void callback());
 
   /*
-   * The close handler gets executed when the socket was closed.
-   */
-  void set closeHandler(void callback());
-
-  /*
    * Returns input stream to the socket.
    */
   InputStream get inputStream();
 
   /*
    * Returns output stream of the socket.
    */
   OutputStream get outputStream();
 
   /*
    * Returns the port used by this socket.
    */
   int get port();
 
   /*
    * Closes the socket. Calling [close] will never throw an exception
-   * and calling it several times is supported.
+   * and calling it several times is supported. If [halfClose] is true
+   * the socket will only be closed for writing and it might still be
+   * possible to read data. Calling [close] will not trigger a call to
+   * the [closeHandler].
    */
-  void close();
+  void close([bool halfClose]);
 }
 
 
 class SocketIOException implements Exception {
   const SocketIOException([String this.message = ""]);
   String toString() => "SocketIOException: $message";
 
   /*
    * Contains the exception message.
    */
   final String message;
 }