Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(96)

Unified Diff: pkg/analyzer_plugin/lib/channel/channel.dart

Issue 2893803004: Capture the request time for performance data and support forced shutdown (Closed)
Patch Set: Created 3 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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

Powered by Google App Engine
This is Rietveld 408576698