| Index: pkg/analysis_server/lib/src/server/driver.dart
|
| diff --git a/pkg/analysis_server/lib/src/server/driver.dart b/pkg/analysis_server/lib/src/server/driver.dart
|
| index 28deb0921430b3a34886d03b2275e97c534d370a..dc2ac7f9b7375675486330528c907a81d44ec7f1 100644
|
| --- a/pkg/analysis_server/lib/src/server/driver.dart
|
| +++ b/pkg/analysis_server/lib/src/server/driver.dart
|
| @@ -386,7 +386,7 @@ class Driver implements ServerStarter {
|
| analysisServerOptions.enablePubSummaryManager =
|
| results[ENABLE_PUB_SUMMARY_MANAGER];
|
| analysisServerOptions.finerGrainedInvalidation =
|
| - results[FINER_GRAINED_INVALIDATION];
|
| + true /*results[FINER_GRAINED_INVALIDATION]*/;
|
| analysisServerOptions.noErrorNotification = results[NO_ERROR_NOTIFICATION];
|
| analysisServerOptions.noIndex = results[NO_INDEX];
|
| analysisServerOptions.useAnalysisHighlight2 =
|
|
|