Change the handling of closing sockets

runtime/bin/input_stream.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.
 
 /**
  * Input is read from a given input stream. Such an input stream can
  * be an endpoint, e.g., a socket or a file, or another input stream.
  * Multiple input streams can be chained together to operate collaboratively
  * on a given input.
  */
@@ skipping 13 matching lines @@
    * specified the length of [buffer] is used.
    */
   int readInto(List<int> buffer, [int offset, int len]);
 
   /**
    * Returns the number of bytes available for immediate reading.
    */
   int available();
 
   /**
-   * Returns whether the stream has been closed. There might still be
-   * more data to read.
+   * Returns whether the stream is closed. There will be no more data
+   * to read.
    */
-  bool closed();
+  bool get closed();
 
   /**
-   * Sets the data which handler gets called when data is available.
+   * Sets the data handler which gets called when data is available.
    */
   void set dataHandler(void callback());
 
   /**
-   * The close handler gets called when the underlying communication
-   * channel is closed and no more data will become available. Not all
-   * types of communication channels will emit close events.
+   * Sets the close handler which gets called when there will be no more
+   * data available in the stream.
    */
   void set closeHandler(void callback());
 
   /**
    * The error handler gets called when the underlying communication
    * channel gets into some kind of error situation.
    */
   void set errorHandler(void callback());
 }
 
@@ skipping 47 matching lines @@
    */
   void set errorHandler(void callback());
 }
 
 
 class StreamException implements Exception {
   const StreamException([String this.message = ""]);
   String toString() => "StreamException: $message";
   final String message;
 }