| Index: pkg/analysis_server/lib/src/services/index/store/split_store.dart
|
| diff --git a/pkg/analysis_server/lib/src/services/index/store/split_store.dart b/pkg/analysis_server/lib/src/services/index/store/split_store.dart
|
| index 7e65c174d0d5d389e738d98320d9ac51bf3aad4c..bd3bec21bf8da807fe7c3e65b69a2b062e5b5110 100644
|
| --- a/pkg/analysis_server/lib/src/services/index/store/split_store.dart
|
| +++ b/pkg/analysis_server/lib/src/services/index/store/split_store.dart
|
| @@ -16,6 +16,8 @@ import 'package:analyzer/src/generated/element.dart';
|
| import 'package:analyzer/src/generated/engine.dart';
|
| import 'package:analyzer/src/generated/java_engine.dart';
|
| import 'package:analyzer/src/generated/source.dart';
|
| +import 'package:analysis_server/src/analysis_server.dart';
|
| +import 'package:analyzer/src/generated/utilities_general.dart';
|
|
|
|
|
| /**
|
| @@ -115,10 +117,12 @@ class FileNodeManager implements NodeManager {
|
| }
|
| // write the node
|
| return new Future.microtask(() {
|
| - _DataOutputStream stream = new _DataOutputStream();
|
| - _writeNode(node, stream);
|
| - var bytes = stream.getBytes();
|
| - return _fileManager.write(name, bytes);
|
| + return ServerPerformanceStatistics.splitStore.makeCurrentWhile(() {
|
| + _DataOutputStream stream = new _DataOutputStream();
|
| + _writeNode(node, stream);
|
| + var bytes = stream.getBytes();
|
| + return _fileManager.write(name, bytes);
|
| + });
|
| }).catchError((exception, stackTrace) {
|
| _logger.logError(
|
| 'Exception during reading index file ${name}',
|
|
|