fix dump priority in scheduler

This commit is contained in:
ad hoc 2022-05-25 14:50:14 +02:00
parent 6b2016b350
commit f58507379a
No known key found for this signature in database
GPG Key ID: 4F00A782990CC643

View File

@ -110,8 +110,8 @@ impl Ord for TaskList {
(Some(lhs), Some(rhs)) => lhs.cmp(rhs),
}
}
(TaskListIdentifier::Index(_), TaskListIdentifier::Dump) => Ordering::Greater,
(TaskListIdentifier::Dump, TaskListIdentifier::Index(_)) => Ordering::Less,
(TaskListIdentifier::Index(_), TaskListIdentifier::Dump) => Ordering::Less,
(TaskListIdentifier::Dump, TaskListIdentifier::Index(_)) => Ordering::Greater,
(TaskListIdentifier::Dump, TaskListIdentifier::Dump) => {
unreachable!("There should be only one Dump task list")
}