Add close to input stream and cleanup socket and streams

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 streams are used to read data sequentially from some data
  * source. All input streams are non-blocking. They each have a number
  * of read calls which will always return without any IO related
  * blocking. If the requested data is not available a read call will
  * return [:null:]. All input streams have one or more handlers which
@@ skipping 49 matching lines @@
    * Pipe the content of this input stream directly to the output
    * stream [output]. The default behavior is to close the output when
    * all the data from the input stream have been written. Specifying
    * [:false:] for the optional argument [close] keeps the output
    * stream open after writing all data from the input stream. The
    * default value for [close] is [:true:].
    */
   void pipe(OutputStream output, [bool close]);
 
   /**
+   * Close the underlying communication channel to avoid getting any
+   * more data. In normal situations where all data is read from the

[Mads Ager (google), 2011/12/23 08:35:40]

A couple of commas would help me read this:

In normal situations, where ... called, calling [close] is not required.

[Søren Gjesse, 2012/01/02 11:51:17]

Done.

+   * stream until the close handler is called calling [close] is not
+   * required. When [close] is used the close handler will still be
+   * called.
+   */
+  void close();
+
+  /**
    * Returns whether the stream is closed. There will be no more data
    * to read.
    */
   bool get closed();
 
   /**
    * Sets the handler that gets called when data is available.
    */
   void set dataHandler(void callback());
 
@@ skipping 130 matching lines @@
   void set errorHandler(void callback());
 }
 
 
 class StreamException implements Exception {
   const StreamException([String this.message = ""]);
   const StreamException.streamClosed() : message = "Stream closed";
   String toString() => "StreamException: $message";
   final String message;
 }