| Index: sdk/lib/profiler/profiler.dart
|
| diff --git a/sdk/lib/profiler/profiler.dart b/sdk/lib/profiler/profiler.dart
|
| index e30fd1dfb2e133ba65803d25df552f725bdce7ab..1834f37b8dbff1517b8617ef888e54518e61330c 100644
|
| --- a/sdk/lib/profiler/profiler.dart
|
| +++ b/sdk/lib/profiler/profiler.dart
|
| @@ -77,9 +77,10 @@ abstract class Metric {
|
| final String description;
|
|
|
| Metric(this.name, this.description) {
|
| - if (name.contains('/')) {
|
| + if ((name == 'vm') || name.contains('/')) {
|
| throw new ArgumentError('Invalid Metric name.');
|
| }
|
| +
|
| }
|
|
|
| Map _toJSON();
|
|
|