Index: tools/ddbg.dart |
=================================================================== |
--- tools/ddbg.dart (revision 24864) |
+++ tools/ddbg.dart (working copy) |
@@ -574,6 +574,7 @@ |
outstandingCommands = new Map<int, Completer>(); |
Socket.connect("127.0.0.1", 5858).then((s) { |
vmSock = s; |
+ vmSock.setOption(SocketOption.TCP_NODELAY, true); |
var stringStream = vmSock.transform(new StringDecoder()); |
vmSubscription = stringStream.listen( |
(String data) { |