Start reading data from sockets directly into external byte arrays

runtime/bin/socket_patch.dart

 // Copyright (c) 2012, 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 ServerSocket {
   /* patch */ factory ServerSocket(String bindAddress, int port, int backlog) {
     return new _ServerSocket(bindAddress, port, backlog);
   }
 }
 
@@ skipping 357 matching lines @@
       } else {
         return result;
       }
     }
     throw new
         SocketIOException("Error: available failed - invalid socket handle");
   }
 
   _available() native "Socket_Available";
 
+  List<int> read([int len]) {
+    if (len != null && len <= 0) {
+      throw new SocketIOException("Illegal length $len");
+    }
+    var result = _read(len == null ? -1 : len);
+    if (result is OSError) {
+      _reportError(result, "Read failed");
+      return null;
+    }
+    return result;
+  }
+
+  _read(int len) native "Socket_Read";
+
   int readList(List<int> buffer, int offset, int bytes) {
     if (!_closed) {
       if (bytes == 0) {
         return 0;
       }
       if (offset < 0) {
         throw new IndexOutOfRangeException(offset);
       }
       if (bytes < 0) {
         throw new IndexOutOfRangeException(bytes);
@@ skipping 196 matching lines @@
   bool _seenFirstOutEvent = false;
   bool _pipe = false;
   Function _clientConnectHandler;
   Function _clientWriteHandler;
   _SocketInputStream _inputStream;
   _SocketOutputStream _outputStream;
   String _remoteHost;
   int _remotePort;
   static SendPort _socketService;
 }