| 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 051ae236bdad55a1764c5dd5a06faa18df60d142..f813e78a44d248847d0940c053b32fc5f22c41e2 100644
|
| --- a/pkg/analysis_server/lib/src/server/driver.dart
|
| +++ b/pkg/analysis_server/lib/src/server/driver.dart
|
| @@ -393,7 +393,7 @@ class Driver implements ServerStarter {
|
| analysisServerOptions.enablePubSummaryManager =
|
| results[ENABLE_PUB_SUMMARY_MANAGER];
|
| analysisServerOptions.finerGrainedInvalidation =
|
| - true /*results[FINER_GRAINED_INVALIDATION]*/;
|
| + results[FINER_GRAINED_INVALIDATION];
|
| analysisServerOptions.noErrorNotification = results[NO_ERROR_NOTIFICATION];
|
| analysisServerOptions.noIndex = results[NO_INDEX];
|
| analysisServerOptions.useAnalysisHighlight2 =
|
|
|