aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_prof
diff options
context:
space:
mode:
authorkjeremy <[email protected]>2019-04-26 16:42:56 +0100
committerkjeremy <[email protected]>2019-04-26 16:42:56 +0100
commitd8649c1af86118dea6b6340c999b5864a8d55279 (patch)
treee4d7f73b0253fb882ac043dd75a111fcaf487c27 /crates/ra_prof
parent4251f083b551de9bfe15d11bb4b485c0a5de86ab (diff)
Simplify
Diffstat (limited to 'crates/ra_prof')
-rw-r--r--crates/ra_prof/src/lib.rs11
1 files changed, 4 insertions, 7 deletions
diff --git a/crates/ra_prof/src/lib.rs b/crates/ra_prof/src/lib.rs
index ba432912f..9ecb8e744 100644
--- a/crates/ra_prof/src/lib.rs
+++ b/crates/ra_prof/src/lib.rs
@@ -67,14 +67,11 @@ pub fn profile(desc: &str) -> Profiler {
67 67
68 PROFILE_STACK.with(|stack| { 68 PROFILE_STACK.with(|stack| {
69 let mut stack = stack.borrow_mut(); 69 let mut stack = stack.borrow_mut();
70 if stack.starts.len() == 0 { 70 if stack.starts.is_empty() {
71 match FILTER.try_read() { 71 if let Ok(f) = FILTER.try_read() {
72 Ok(f) => { 72 if f.version > stack.filter_data.version {
73 if f.version > stack.filter_data.version { 73 stack.filter_data = f.clone();
74 stack.filter_data = f.clone();
75 }
76 } 74 }
77 Err(_) => (),
78 }; 75 };
79 } 76 }
80 77