diff options
Diffstat (limited to 'crates/ra_prof/src/lib.rs')
-rw-r--r-- | crates/ra_prof/src/lib.rs | 11 |
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 | ||