| Index: sdk/lib/profiler/profiler.dart
|
| diff --git a/sdk/lib/profiler/profiler.dart b/sdk/lib/profiler/profiler.dart
|
| index 1834f37b8dbff1517b8617ef888e54518e61330c..0081ecf4e847e1a2bf9131e822c0143e2883c257 100644
|
| --- a/sdk/lib/profiler/profiler.dart
|
| +++ b/sdk/lib/profiler/profiler.dart
|
| @@ -186,14 +186,13 @@ class Metrics {
|
| }
|
|
|
| static String _printMetrics() {
|
| - var members = [];
|
| + var metrics = [];
|
| for (var metric in _metrics.values) {
|
| - members.add(metric._toJSON());
|
| + metrics.add(metric._toJSON());
|
| }
|
| var map = {
|
| 'type': 'MetricList',
|
| - 'id': 'metrics',
|
| - 'members': members,
|
| + 'metrics': metrics,
|
| };
|
| return JSON.encode(map);
|
| }
|
|
|