mirror of
https://github.com/apple/sourcekit-lsp.git
synced 2026-03-02 18:23:24 +01:00
If the client is well-behaved and sends a shutdown request, we close the index in order to flush it to disk. This should speed up reopening the same project when it is already indexed.