(&mut self, submit: SubmittedJobDescription)
| 122 | } |
| 123 | |
| 124 | pub fn add_submit(&mut self, submit: SubmittedJobDescription) { |
| 125 | self.submit_descs.push(submit) |
| 126 | } |
| 127 | |
| 128 | pub fn increase_crash_counters(&mut self, worker_id: WorkerId) { |
| 129 | for task in self.tasks.values_mut() { |