matthiasbeyer/imag
1
0
Fork 0
Code Releases Activity

Refactor imag-wiki to new store iterator interface

Browse source
This commit is contained in:
Matthias Beyer 2018-05-01 17:42:47 +02:00
parent 7aca84dd5e
commit b86ed2ffa9
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bin/domain/imag-wiki/src/main.rs
View file

@ -34,6 +34,7 @@ use std::io::Write;
use libimagrt::runtime::Runtime;
use libimagrt::setup::generate_runtime_setup;
use libimagerror::iter::TraceIterator;
use libimagerror::trace::MapErrTrace;
use libimagerror::exit::ExitUnwrap;
use libimagerror::io::ToExitCode;
@ -90,6 +91,7 @@ fn ids(rt: &Runtime, wiki_name: &str) {
})
.all_ids()
.map_err_trace_exit_unwrap(1)
.trace_unwrap_exit(1)
.for_each(|id| {
let _ = writeln!(outlock, "{}{}", prefix, id)
.to_exit_code()