| Index: tools/ddbg.dart
|
| diff --git a/tools/ddbg.dart b/tools/ddbg.dart
|
| index eaf0258a85f979918ea8fe8cd6595f4997207707..4a716205f83242a8c7c22b4e3e31c3190eede43b 100644
|
| --- a/tools/ddbg.dart
|
| +++ b/tools/ddbg.dart
|
| @@ -529,12 +529,12 @@ int jsonObjectLength(String string) {
|
| void main() {
|
| outstandingCommands = new Map<int, Completer>();
|
| vmSock = new Socket("127.0.0.1", 5858);
|
| - vmStream = new SocketOutputStream(vmSock);
|
| + vmStream = vmSock.outputStream;
|
| var stdinStream = new StringInputStream(stdin);
|
| stdinStream.onLine = () {
|
| processCommand(stdinStream.readLine());
|
| };
|
| - var vmInStream = new SocketInputStream(vmSock);
|
| + var vmInStream = vmSock.inputStream;
|
| vmInStream.onData = () {
|
| String s = decodeUtf8(vmInStream.read());
|
| processVmData(s);
|
|
|