| Index: pkg/analyzer_plugin/lib/channel/channel.dart
|
| diff --git a/pkg/analyzer_plugin/lib/channel/channel.dart b/pkg/analyzer_plugin/lib/channel/channel.dart
|
| index cf4730dc3c839cac406fc3a65b4a7ea65b380d5f..a524811d8519704f924886e2833a1ae5406bc622 100644
|
| --- a/pkg/analyzer_plugin/lib/channel/channel.dart
|
| +++ b/pkg/analyzer_plugin/lib/channel/channel.dart
|
| @@ -51,6 +51,13 @@ abstract class ServerCommunicationChannel {
|
| void close();
|
|
|
| /**
|
| + * Cause the plugin to terminate as soon as possible. This should only be used
|
| + * when the plugin has failed to terminate after sending it a 'plugin.shutdown'
|
| + * request.
|
| + */
|
| + void kill();
|
| +
|
| + /**
|
| * Listen to the channel for responses and notifications. If a response is
|
| * received, invoke the [onResponse] function. If a notification is received,
|
| * invoke the [onNotification] function. If an error is encountered while
|
|
|