dfd71a7e3d
And don't report an issue stopping a plugin that crashed. Change-Id: Ic079748e578a0a5331165bd60a3ed0e6cf44e3b4 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/153944 Reviewed-by: Brian Wilkerson <brianwilkerson@google.com> Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Commit-Queue: Mike Fairhurst <mfairhurst@google.com>