diff options
author | Aleksey Kladov <[email protected]> | 2019-05-27 12:27:05 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-05-27 12:27:05 +0100 |
commit | 0d2f97e83eaf8cd5d313affca1a0f52a2db6b54b (patch) | |
tree | 6e33191cfa3a80155bb0a07a83490e9bd5af69fa /crates/ra_ide_api/src | |
parent | cf214ac4e76413bdfd2676edf834505306edc9c6 (diff) |
specifically profile cancellation
Diffstat (limited to 'crates/ra_ide_api/src')
-rw-r--r-- | crates/ra_ide_api/src/change.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/crates/ra_ide_api/src/change.rs b/crates/ra_ide_api/src/change.rs index 2434f428f..0e64abdbd 100644 --- a/crates/ra_ide_api/src/change.rs +++ b/crates/ra_ide_api/src/change.rs | |||
@@ -156,6 +156,10 @@ impl RootDatabase { | |||
156 | pub(crate) fn apply_change(&mut self, change: AnalysisChange) { | 156 | pub(crate) fn apply_change(&mut self, change: AnalysisChange) { |
157 | let _p = profile("RootDatabase::apply_change"); | 157 | let _p = profile("RootDatabase::apply_change"); |
158 | log::info!("apply_change {:?}", change); | 158 | log::info!("apply_change {:?}", change); |
159 | { | ||
160 | let _p = profile("RootDatabase::apply_change/cancellation"); | ||
161 | self.salsa_runtime().next_revision(); | ||
162 | } | ||
159 | if !change.new_roots.is_empty() { | 163 | if !change.new_roots.is_empty() { |
160 | let mut local_roots = Vec::clone(&self.local_roots()); | 164 | let mut local_roots = Vec::clone(&self.local_roots()); |
161 | for (root_id, is_local) in change.new_roots { | 165 | for (root_id, is_local) in change.new_roots { |