diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-15 12:17:13 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-15 12:17:13 +0000 |
commit | c7f072372edc7a94544c993d03928aab2ac92dab (patch) | |
tree | 13dc4378b272541f340c08d5be91146857059aaf /crates/ra_db/src/lib.rs | |
parent | 2184f7f14250c888e37cc27475c085515ea63aa4 (diff) | |
parent | dd45697e5396d4a6ac8e838e1f4f510c960b9c43 (diff) |
Merge #547
547: update salsa r=matklad a=matklad
Notably, this includes unwinding-based cancelation.
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_db/src/lib.rs')
-rw-r--r-- | crates/ra_db/src/lib.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/crates/ra_db/src/lib.rs b/crates/ra_db/src/lib.rs index 0c4dfc8c6..0e7f32e66 100644 --- a/crates/ra_db/src/lib.rs +++ b/crates/ra_db/src/lib.rs | |||
@@ -22,8 +22,9 @@ pub use crate::{ | |||
22 | 22 | ||
23 | pub trait BaseDatabase: salsa::Database + panic::RefUnwindSafe { | 23 | pub trait BaseDatabase: salsa::Database + panic::RefUnwindSafe { |
24 | fn check_canceled(&self) -> Cancelable<()> { | 24 | fn check_canceled(&self) -> Cancelable<()> { |
25 | self.salsa_runtime() | 25 | if self.salsa_runtime().is_current_revision_canceled() { |
26 | .if_current_revision_is_canceled(Canceled::throw); | 26 | Canceled::throw() |
27 | } | ||
27 | Ok(()) | 28 | Ok(()) |
28 | } | 29 | } |
29 | 30 | ||