Change the handling of closing sockets

runtime/bin/input_stream.dart

Index: runtime/bin/input_stream.dart
diff --git a/runtime/bin/input_stream.dart b/runtime/bin/input_stream.dart
index e7394aa44b252201867e61098e89dae683e73297..aa64e4fce4b9ed418b1959382818bf54371429b3 100644
--- a/runtime/bin/input_stream.dart
+++ b/runtime/bin/input_stream.dart
@@ -31,20 +31,19 @@ interface InputStream {
   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());