fix for MapIndexesMetadata (#1008)
Co-authored-by: Andrea Fioraldi <andreafioraldi@gmail.com>
This commit is contained in:
parent
fe51286586
commit
00ec7e143c
@ -526,21 +526,22 @@ where
|
|||||||
|
|
||||||
let initial = observer.initial();
|
let initial = observer.initial();
|
||||||
if interesting {
|
if interesting {
|
||||||
let len = history_map.len();
|
if let Some(indexes) = self.indexes.as_mut() {
|
||||||
let mut filled = 0;
|
indexes.extend(
|
||||||
for i in 0..len {
|
observer
|
||||||
if history_map[i] != initial {
|
.as_iter()
|
||||||
filled += 1;
|
.enumerate()
|
||||||
if self.indexes.is_some() {
|
.filter_map(|(i, &e)| (e != initial).then_some(i)),
|
||||||
self.indexes.as_mut().unwrap().push(i);
|
);
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
let len = history_map.len();
|
||||||
|
let filled = history_map.iter().filter(|&&i| i != initial).count();
|
||||||
manager.fire(
|
manager.fire(
|
||||||
state,
|
state,
|
||||||
Event::UpdateUserStats {
|
Event::UpdateUserStats {
|
||||||
name: self.stats_name.to_string(),
|
name: self.stats_name.to_string(),
|
||||||
value: UserStats::Ratio(filled, len as u64),
|
value: UserStats::Ratio(filled as u64, len as u64),
|
||||||
phantom: PhantomData,
|
phantom: PhantomData,
|
||||||
},
|
},
|
||||||
)?;
|
)?;
|
||||||
@ -700,21 +701,22 @@ where
|
|||||||
|
|
||||||
let initial = observer.initial();
|
let initial = observer.initial();
|
||||||
if interesting {
|
if interesting {
|
||||||
let len = history_map.len();
|
if let Some(indexes) = self.indexes.as_mut() {
|
||||||
let mut filled = 0;
|
indexes.extend(
|
||||||
for i in 0..len {
|
observer
|
||||||
if history_map[i] != initial {
|
.as_iter()
|
||||||
filled += 1;
|
.enumerate()
|
||||||
if self.indexes.is_some() {
|
.filter_map(|(i, &e)| (e != initial).then_some(i)),
|
||||||
self.indexes.as_mut().unwrap().push(i);
|
);
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
let len = history_map.len();
|
||||||
|
let filled = history_map.iter().filter(|&&i| i != initial).count();
|
||||||
manager.fire(
|
manager.fire(
|
||||||
state,
|
state,
|
||||||
Event::UpdateUserStats {
|
Event::UpdateUserStats {
|
||||||
name: self.stats_name.to_string(),
|
name: self.stats_name.to_string(),
|
||||||
value: UserStats::Ratio(filled, len as u64),
|
value: UserStats::Ratio(filled as u64, len as u64),
|
||||||
phantom: PhantomData,
|
phantom: PhantomData,
|
||||||
},
|
},
|
||||||
)?;
|
)?;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user