diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2019-11-23 20:09:40 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2019-12-22 16:28:42 +0100 |
commit | 84bb05035b51b05734eef44657cffd1fdb2950db (patch) | |
tree | 5f150c206f0de56c7bb393ff96b8044d7f72f9b5 /scripts/commit-template | |
parent | 3e016d901f069eb2c7a772bf71f9920533de6e10 (diff) |
Fix: Ignore broken pipe when reporting ids
This fixes a bug where a broken pipe in Runtime::report_touched()
resulted in an Err(_) raised up to main() which then reported this.
But as report_touched() should ignore a broken pipe (because the program
will exit anyways shortly after the call), we can safely ignore this
error.
This also results in `ExitCode` removed from the function signature,
which pushes us forward to the removal of custom error-handling
implementations!
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to 'scripts/commit-template')
0 files changed, 0 insertions, 0 deletions