| Index: sdk/lib/developer/timeline.dart
|
| diff --git a/sdk/lib/developer/timeline.dart b/sdk/lib/developer/timeline.dart
|
| index 1c9e3d86d63ce74a85b04a5dc82b3eb391be7d78..867475f2a14e9d5b3ba27d8528bb835254dc20fa 100644
|
| --- a/sdk/lib/developer/timeline.dart
|
| +++ b/sdk/lib/developer/timeline.dart
|
| @@ -135,7 +135,7 @@ class AsyncBlock {
|
|
|
| // Emit the start event.
|
| void _start() {
|
| - arguments['isolateNumber'] = Timeline._isolateId;
|
| + arguments['isolateNumber'] = '${Timeline._isolateId}';
|
| String argumentsAsJson = JSON.encode(arguments);
|
| _reportTaskEvent(_getTraceClock(),
|
| _taskId,
|
| @@ -200,7 +200,7 @@ class _SyncBlock {
|
| void finish() {
|
| var end = _getTraceClock();
|
|
|
| - arguments['isolateNumber'] = Timeline._isolateId;
|
| + arguments['isolateNumber'] = '${Timeline._isolateId}';
|
|
|
| // Encode arguments map as JSON before reporting.
|
| var argumentsAsJson = JSON.encode(arguments);
|
|
|