diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-09-28 00:20:03 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2021-09-28 21:12:03 +0200 |
| commit | c7bf9b3db322e5586178fdf1cab6fc456e0c9a97 (patch) | |
| tree | 238b1ce91a2c46ead99826539ff111210669fa9e /src/executor.rs | |
| parent | ab1b329dda599006574111013ea2ceb67dba1b5b (diff) | |
| download | rebel-c7bf9b3db322e5586178fdf1cab6fc456e0c9a97.tar rebel-c7bf9b3db322e5586178fdf1cab6fc456e0c9a97.zip | |
executor: print task ref instead of meta ID in summary
When multiple tasks have the same input hash, they are unified to the
same meta info, leading to a confusing summary when the ID from this
info is printed instead of the original task ref.
Diffstat (limited to 'src/executor.rs')
| -rw-r--r-- | src/executor.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/executor.rs b/src/executor.rs index 6bd90b5..da651c0 100644 --- a/src/executor.rs +++ b/src/executor.rs @@ -244,9 +244,9 @@ impl<'ctx> Executor<'ctx> { assert!(self.tasks_blocked.is_empty(), "No runnable tasks left"); println!("Summary"); - for task in self.tasks_done.values() { + for (task_ref, task) in &self.tasks_done { println!(""); - println!("{} ( {} )", task.id, task.input_hash); + println!("{} ( {} )", task_ref, task.input_hash); for (output, hash) in &task.output { println!("-> {} ( {} )", output, hash); } |