diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2016-01-06 19:25:26 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2016-01-06 19:25:26 +0100 |
commit | 51870b63f2afad866551010d74a0b0e1758a5956 (patch) | |
tree | 254428c010085717082555ed92a753d3f77c9bca | |
parent | d9de33a932a93498d8bf8c6aaa463acb3da13d75 (diff) |
Add reporting implementation
-rw-r--r-- | src/main.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main.rs b/src/main.rs index 436435bc..5bb80a42 100644 --- a/src/main.rs +++ b/src/main.rs @@ -68,4 +68,12 @@ fn main() { }; info!("{}", Yellow.paint(format!("Module execution ended with {}", res))); + + if rt.report_exit() { + if res { + println!("Ok"); + } else { + println!("Error"); + } + } } |