Close(destroy) Socket on user-generated write error.

runtime/bin/socket_patch.dart

 // Copyright (c) 2013, 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.
 
 patch class RawServerSocket {
   /* patch */ static Future<RawServerSocket> bind(address,
                                                   int port,
                                                   {int backlog: 0,
                                                    bool v6Only: false}) {
     return _RawServerSocket.bind(address, port, backlog, v6Only);
@@ skipping 1327 matching lines @@
     if (socket._raw != null) {
       subscription = stream.listen(
           (data) {
             assert(!paused);
             assert(buffer == null);
             buffer = data;
             offset = 0;
             try {
               write();
             } catch (e) {
+              socket.destroy();
               stop();
-              socket._consumerDone();
               done(e);
             }
           },
           onError: (error, [stackTrace]) {
-            socket._consumerDone();
+            socket.destroy();
             done(error, stackTrace);
           },
           onDone: () {
             done();
           },
           cancelOnError: true);
     }
     return streamCompleter.future;
   }
 
@@ skipping 389 matching lines @@
                        String address,
                        List<int> in_addr,
                        int port) {
   return new Datagram(
       data,
       new _InternetAddress(address, null, in_addr),
       port);
 }
 
 String _socketsStats() => _SocketsObservatory.toJSON();