| 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) {
|
|
|