| Index: pkg/analysis_server/lib/src/analysis_server.dart
|
| diff --git a/pkg/analysis_server/lib/src/analysis_server.dart b/pkg/analysis_server/lib/src/analysis_server.dart
|
| index 16f00f98389c960fc554f0cd31c58602b67f1201..279884ab50c37b56f44d56e190fb453b4e90cc5d 100644
|
| --- a/pkg/analysis_server/lib/src/analysis_server.dart
|
| +++ b/pkg/analysis_server/lib/src/analysis_server.dart
|
| @@ -403,6 +403,7 @@ class AnalysisServer {
|
| new CaughtException(exception, stackTrace));
|
| }
|
| _sendServerErrorNotification(exception, stackTrace);
|
| + shutdown();
|
| } finally {
|
| if (!operationQueue.isEmpty) {
|
| _schedulePerformOperation();
|
| @@ -740,7 +741,7 @@ class AnalysisServer {
|
| }
|
|
|
| /**
|
| - * Sends a non-fatal `server.error` notification.
|
| + * Sends a fatal `server.error` notification.
|
| */
|
| void _sendServerErrorNotification(exception, stackTrace) {
|
| // prepare exception.toString()
|
| @@ -759,7 +760,7 @@ class AnalysisServer {
|
| }
|
| // send the notification
|
| Notification notification = new Notification(SERVER_ERROR);
|
| - notification.setParameter(FATAL, false);
|
| + notification.setParameter(FATAL, true);
|
| notification.setParameter(MESSAGE, exceptionString);
|
| notification.setParameter(STACK_TRACE, stackTraceString);
|
| channel.sendNotification(notification);
|
|
|