Remove store flush caching as it is not necessary anymore

This commit is contained in:
Matthias Beyer 2018-08-11 18:03:13 +02:00
parent 3a768b42de
commit 430186799b

View file

@ -91,14 +91,6 @@ fn main() {
.entries() .entries()
.map_err_trace_exit_unwrap(1) .map_err_trace_exit_unwrap(1)
.trace_unwrap_exit(1) .trace_unwrap_exit(1)
.enumerate()
.map(|(i, e)| {
if i % 100 == 0 {
let _ = rt.store().flush_cache();
}
e
})
.filter(|id| collection_filter.filter(id)) .filter(|id| collection_filter.filter(id))
.filter(|id| match query_filter.as_ref() { .filter(|id| match query_filter.as_ref() {
None => true, None => true,