Index: tools/ddbg.dart |
diff --git a/tools/ddbg.dart b/tools/ddbg.dart |
index 18673a6dcb95f2c9bea96d3043fa8a831da566e0..17fb40bc40052d606bae0d43e9b89ca15ade9529 100644 |
--- a/tools/ddbg.dart |
+++ b/tools/ddbg.dart |
@@ -5,6 +5,7 @@ |
// Simple interactive debugger shell that connects to the Dart VM's debugger |
// connection port. |
+import "dart:convert"; |
import "dart:io"; |
import "dart:json" as json; |
import "dart:utf"; |
@@ -590,7 +591,7 @@ void debuggerMain() { |
Socket.connect("127.0.0.1", 5858).then((s) { |
vmSock = s; |
vmSock.setOption(SocketOption.TCP_NODELAY, true); |
- var stringStream = vmSock.transform(new StringDecoder()); |
+ var stringStream = vmSock.transform(UTF8.decoder); |
vmSubscription = stringStream.listen( |
(String data) { |
processVmData(data); |
@@ -604,8 +605,8 @@ void debuggerMain() { |
// TODO(floitsch): do we want to print the stack trace? |
quitShell(); |
}); |
- stdinSubscription = stdin.transform(new StringDecoder()) |
- .transform(new LineTransformer()) |
+ stdinSubscription = stdin.transform(UTF8.decoder) |
+ .transform(new LineSplitter()) |
.listen((String line) => processCommand(line)); |
}); |
} |