From 2c1592263d63dacb88eeea769e0475331e7f04d5 Mon Sep 17 00:00:00 2001 From: Wolfgang Bumiller Date: Mon, 30 Nov 2020 14:03:43 +0100 Subject: [PATCH] tiny clippy hint Signed-off-by: Wolfgang Bumiller --- src/server/worker_task.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/server/worker_task.rs b/src/server/worker_task.rs index 69b4d1af..c93fe7ce 100644 --- a/src/server/worker_task.rs +++ b/src/server/worker_task.rs @@ -347,6 +347,9 @@ fn update_active_workers(new_upid: Option<&UPID>) -> Result<(), Error> { let mut finish_list: Vec = read_task_file_from_path(PROXMOX_BACKUP_INDEX_TASK_FN)?; let had_index_file = !finish_list.is_empty(); + // We use filter_map because one negative case wants to *move* the data into `finish_list`, + // clippy doesn't quite catch this! + #[allow(clippy::unnecessary_filter_map)] let mut active_list: Vec = read_task_file_from_path(PROXMOX_BACKUP_ACTIVE_TASK_FN)? .into_iter() .filter_map(|info| {