Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid crash while reloading non-existing file (#1308)
It can happen during a rebase operation that a file appears/disappears multiple times in a very short timeframe. Specifically, since `didChangeWatchedFiles` notifications are asynchronous, it can happen that a file is deleted before a notification is processed by the server. In such a case, the server should simply ignore the notification, since a new one will arrive. Also, there is no need to deeply index files during a rebase, so let's convert to a shallow indexing. We mark the source of the file as 'app', which has the only side effect of indexing references.
- Loading branch information