Rename deprioritize_task -> deprioritize

It applies to a family of tasks, not a task.
This commit is contained in:
Max Brunsfeld 2023-11-16 20:03:18 -08:00
parent f3b6719c76
commit 32979f3aca
3 changed files with 3 additions and 2 deletions

View file

@ -245,7 +245,7 @@ impl BackgroundExecutor {
}
#[cfg(any(test, feature = "test-support"))]
pub fn deprioritize_task(&self, task_label: TaskLabel) {
pub fn deprioritize(&self, task_label: TaskLabel) {
self.dispatcher.as_test().unwrap().deprioritize(task_label)
}