diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2024-04-06 23:54:33 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2024-04-06 23:58:25 +0200 |
commit | a466c57611ac645cfe5f3af2ff2f20be2f30f395 (patch) | |
tree | 4f9cb034c6cb2acf5d22ae851e7637547d53bb42 /crates/driver/src/main.rs | |
parent | 3dac699970d4adf0ac0ec32b121123cb67108bbd (diff) | |
download | rebel-a466c57611ac645cfe5f3af2ff2f20be2f30f395.tar rebel-a466c57611ac645cfe5f3af2ff2f20be2f30f395.zip |
driver: do not kill remaining tasks immediately on failure
Diffstat (limited to 'crates/driver/src/main.rs')
-rw-r--r-- | crates/driver/src/main.rs | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/crates/driver/src/main.rs b/crates/driver/src/main.rs index 98aa10a..44e5e1d 100644 --- a/crates/driver/src/main.rs +++ b/crates/driver/src/main.rs @@ -62,8 +62,15 @@ fn main() { } let taskset = rsv.into_taskset(); let mut driver = driver::Driver::new(&ctx, taskset, force_run).unwrap(); - if let Err(error) = driver.run(&runner) { - eprintln!("{}", error); - std::process::exit(1); + match driver.run(&runner) { + Ok(success) => { + if !success { + std::process::exit(1); + } + } + Err(error) => { + eprintln!("{}", error); + std::process::exit(1); + } } } |