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