| Index: pkg/analysis_server/lib/driver.dart
|
| diff --git a/pkg/analysis_server/lib/driver.dart b/pkg/analysis_server/lib/driver.dart
|
| index 09b86027d0755562dd622bd8834777ed107d3187..55616e9ffb1dca49aa481cc790a4a49607f94e9f 100644
|
| --- a/pkg/analysis_server/lib/driver.dart
|
| +++ b/pkg/analysis_server/lib/driver.dart
|
| @@ -234,6 +234,7 @@ class Driver {
|
| if (serve_http) {
|
| httpServer.close();
|
| }
|
| + service.shutdown();
|
| exit(0);
|
| });
|
| } else {
|
| @@ -242,6 +243,7 @@ class Driver {
|
| if (serve_http) {
|
| httpServer.close();
|
| }
|
| + service.shutdown();
|
| exit(0);
|
| });
|
| }, httpServer.recordPrint);
|
|
|