()
| 638 | await waitForFullDiagnostics({ path: normalizedPath, version: request.version, after: request.after }) |
| 639 | }, |
| 640 | async shutdown() { |
| 641 | connection.end() |
| 642 | connection.dispose() |
| 643 | await Process.stop(input.server.process) |
| 644 | }, |
| 645 | } |
| 646 | |
| 647 | return result |