| 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 68ec16bbdce5830d0680c5c65def29a9b860bfcb..f1572db80268173f065a68337a49fd8338883044 100644
|
| --- a/pkg/analysis_server/lib/src/server/driver.dart
|
| +++ b/pkg/analysis_server/lib/src/server/driver.dart
|
| @@ -24,6 +24,7 @@ import 'package:analyzer/src/generated/java_io.dart';
|
| import 'package:analyzer/src/generated/sdk.dart';
|
| import 'package:analyzer/src/generated/sdk_io.dart';
|
| import 'package:args/args.dart';
|
| +import 'package:linter/src/plugin/linter_plugin.dart';
|
| import 'package:plugin/manager.dart';
|
| import 'package:plugin/plugin.dart';
|
|
|
| @@ -404,6 +405,7 @@ class Driver implements ServerStarter {
|
| plugins.addAll(AnalysisEngine.instance.supportedPlugins);
|
| plugins.add(serverPlugin);
|
| plugins.addAll(_userDefinedPlugins);
|
| + plugins.add(linterPlugin);
|
| ExtensionManager manager = new ExtensionManager();
|
| manager.processPlugins(plugins);
|
| //
|
|
|