Change the handling of closing sockets

runtime/bin/output_stream.dart

Index: runtime/bin/output_stream.dart
diff --git a/runtime/bin/output_stream.dart b/runtime/bin/output_stream.dart
index 398615ac3795cedacdf7224283315099f696f74a..8b834921aa6bd824d9c6572ca8d768a47959fc09 100644
--- a/runtime/bin/output_stream.dart
+++ b/runtime/bin/output_stream.dart
@@ -43,13 +43,13 @@ interface OutputStream {
    * stream. When all data has been written to the communication
    * channel it will be closed.
    */
-  void end();
+  void close();
 
   /**
    * Close the communication channel immediately ignoring any buffered
    * data.
    */
-  void close();
+  void destroy();
 
   /**
    * The no pending write handler gets called when the internal OS