| Index: tools/coverage.dart
|
| diff --git a/tools/coverage.dart b/tools/coverage.dart
|
| index 34018c5482e4289546616507006cfd39b0ab80e0..15333a6c9d7c50879cdb02dad013b4adb4610bfa 100644
|
| --- a/tools/coverage.dart
|
| +++ b/tools/coverage.dart
|
| @@ -354,7 +354,7 @@ class Debugger {
|
| void getLibraries() {
|
| queuedCommands.add(new GetLibrariesCmd(isolateId));
|
| }
|
| -
|
| +
|
| void enableDebugging(libraryId, enable) {
|
| queuedCommands.add(new SetLibraryPropertiesCmd(isolateId, libraryId, enable));
|
| }
|
| @@ -441,7 +441,7 @@ class JsonBuffer {
|
| if (buffer == null || buffer.length == 0) {
|
| buffer = s;
|
| } else {
|
| - buffer = buffer.concat(s);
|
| + buffer = buffer + s;
|
| }
|
| }
|
|
|
| @@ -471,7 +471,7 @@ class JsonBuffer {
|
| }
|
| if (i >= buffer.length) {
|
| return false;
|
| - } else {
|
| + } else {
|
| return char != "{";
|
| }
|
| }
|
|
|