imag/lib
Matthias Beyer f1a639ea8c Change id reporting API to return ExitCode
Because this API only errors when write!() errors occur, we can return
the exit code as an error here.

This way the user of the API can immediately exit if there was an IO
error, but the API automatically takes care of the right return value,
returning (exiting) with zero (0) if there was an "Broken pipe" error
and with one (1) otherwise, which is the expected behaviour here.

All calls to that API were changed accordingly.

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2019-02-11 03:22:56 +01:00
..
core Change id reporting API to return ExitCode 2019-02-11 03:22:56 +01:00
domain Update copyright years 2019-01-03 18:41:36 +01:00
entry Add Is::remove_isflag() for removing header flags 2019-02-11 03:22:56 +01:00
etc Update copyright years 2019-01-03 18:41:36 +01:00