Add setNoDelay method on Socket/RawSocket.

sdk/lib/io/socket.dart

Index: sdk/lib/io/socket.dart
diff --git a/sdk/lib/io/socket.dart b/sdk/lib/io/socket.dart
index 3424fed03a5b345752acaa4793a879744815d9f0..2ee67f539fe3b14ef45ca6fcf42fdd63f45631bb 100644
--- a/sdk/lib/io/socket.dart
+++ b/sdk/lib/io/socket.dart
@@ -179,6 +179,15 @@ abstract class RawSocket implements Stream<RawSocketEvent> {
    * to true again to receive another write event.
    */
   bool writeEventsEnabled;
+
+  /**
+   * Enable or disable no-delay on the socket. If no-delay is enabled, the
+   * socket will not buffer data internally, but instead write each data chunk
+   * as an invidual TCP packet.
+   *
+   * No-delay is disabled by default.
+   */
+  bool setNoDelay([bool enabled = true]);

[Søren Gjesse, 2013/03/14 11:28:40]

Wondering whether this should be a setter instead

Socket s = ...
s.tcpNoDelay = true;

or we should have a more general way of setting options

Socket s = ...
s.setOption(Socket.TCP_NODELAY, true);

 }
 
 /**
@@ -205,6 +214,15 @@ abstract class Socket implements Stream<List<int>>,
    */
   void destroy();
 
+  /**
+   * Enable or disable no-delay on the socket. If no-delay is enabled, the
+   * socket will not buffer data internally, but instead write each data chunk
+   * as an invidual TCP packet.
+   *
+   * No-delay is disabled by default.
+   */
+  bool setNoDelay([bool enabled = true]);
+
   int get port;
   String get remoteHost;
   int get remotePort;