Index: tools/ddbg.dart |
=================================================================== |
--- tools/ddbg.dart (revision 9748) |
+++ tools/ddbg.dart (working copy) |
@@ -7,7 +7,9 @@ |
#import("dart:io"); |
#import("dart:json"); |
+#import("dart:utf"); |
+ |
Map<int, Completer> outstandingCommands; |
Socket vmSock; |
@@ -428,7 +430,7 @@ |
}; |
var vmInStream = new SocketInputStream(vmSock); |
vmInStream.onData = () { |
- var s = new String.fromCharCodes(vmInStream.read()); |
+ String s = decodeUtf8(vmInStream.read()); |
processVmData(s); |
}; |
vmInStream.onError = (err) { |