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); |
} |